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 
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
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
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
