Programming Languages Application and Interpretation
This note covers the following topics: Parsing, Interpretation, Adding Functions to the Language, From Substitution to Environments, Functions, Mutation: Structures and Variables, Recursion and Cycles: Procedures and Data, Objects, Memory Management, Representation Decisions, Desugaring as a Language Feature, Control Operations, Checking Program Invariants Statically: Types, Checking Program Invariants Dynamically: Contracts, Alternate Application Semantics.
Author(s): Shriram Krishnamurthi
207 Pages
Notes on Programming Language Concepts
This note covers programming languages and programming paradigms, OCaml operational Semantics: an overview, Names, Bindings and environment, A static analysis primer, Stack machines, Functions everywhere, Static scope and dynamic scope.
Author(s): NA
43 Pages
Principles of Programming Languages
This note covers the following topics: The Elements of Programming, Theoretical Introduction of Programming Languages: Syntax, Semantics, Types, Abstraction on Data, Delayed Evaluation on Data and on Control, Type Correctness, Evaluators for Functional Programming, Logic Programming, Imperative Programming.
Author(s): Mira Balaban
423 Pages
Programming Languages Theory and Practice
This note explains the following topics: Transition Systems, Defining a Language, A Functional Language, Control and Data Flow, Imperative Functional Programming, Cost Semantics and Parallelism, Data Structures and Abstraction, Lazy Evaluation, Dynamic Typing, Subtyping and Inheritance, Storage Management.
Author(s): Robert Harper
277 Pages
