Principles of Programming Language by Narayanamma Institute Of Technology and Science
This note explains the following topics: Syntax and Semantics, Data types, Expressions and Statements, Subprograms and Blocks, Abstract Data types, Exception Handling and Logic Programming Languages.
Author(s): G Narayanamma Institute Of Technology and Science
144 Pages 
Principles of Programming Languages by David Liu
This PDF covers the following topics related to Programming Languages Theory : Prelude: The Study of Programming Languages, Functional Programming: Theory and Practice, Macros, Objects, and Backtracking, Type systems, In Which We Say Goodbye.
Author(s): David Liu, University of Toronto
152 Pages
Type Theory and Functional Programming
This PDF covers the following topics related to Programming Languages Theory : Introduction to Logic, Functional Programming and &
Author(s): Simon Thompson, Computing Laboratory, University of Kent
378 Pages
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
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
