Dictionary of Programming Languages

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

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

Programming Languages (S.F. Smith)PDF

This book is a much more appropriate book for a modern programming languages course than a traditional one based on paradigms. Topics covered includes: Parsing, Interpretation, Desugaring, Adding Functions to the Language, From Substitution to Environments, Functions Anywhere, 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 and Alternate Application Semantics.

Author(s): Shriram Krishnamurthi

207 Pages