Theory Introduction to Programming Languages by Anthony A. Aaby
This text is designed to formalize and consolidate the knowledge of programming languages and to provide a base for further studies in the semantics and translation of programming languages. Topics covered includes: Syntax, Semantics, Abstraction and Generalization, Domains and Types, Environment, Functional Programming, Logic Programming, Imperative Programming, Concurrent Programming, PCN, Pragmatics, 6 Evaluation of Programming Languages.
Author(s): Anthony A. Aaby
233 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
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 Lecture Notes
This note presents major features of programming languages, with primary emphasis on the role of particular language features in writing good software; programming language design alternatives; various programming paradigms embodied in languages, such as procedural, data-flow, functional and object-oriented languages.
Author(s): Clinton L. Jeffery
NA Pages
