Programming Languages Application and Interpretation

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

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

Syntax and Semantics of Programming Languages

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

Pages

Implementing Functional Languages A Tutorial

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

Pages