Programming Language Concepts by Ryan Stansifer
This is a note in comparative programming languages. This will teach you the major programming language paradigms: imperative, logic and functional. Topics covered includes: history of expression and programming languages, syntax, semantics, names, expressions, statements, types, blocks, exception, Haskell, functional programming and Prolog.
Author(s): Ryan Stansifer
NA 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
Introduction to Programming Lectures Notes
Objective of this note is to teach the fundamental principles of programming, making use of the typical aspects of the object-oriented, functional, and imperative programming paradigms. Such basic principles are presented by referring to the Java programming language.
Author(s): Prof. Diego Calvanese
NA Pages
