Programming Languages Theory and Practice

Description

This note covers the following topics: Inductive Definitions, Transition Systems, Defining a Language, Concrete Syntax, Abstract Syntax Trees, Abstract Binding Trees, Functional Language, Control and Data Flow, Imperative Functional Programming, Cost Semantics and Parallelism, Data Structures and Abstraction, Lazy Evaluation, Dynamic Typing, Subtyping and Inheritance, Concurrency.