Programming Languages Theory and Practice

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

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

Languages Lecture Notes

This lecture note explains the following concepts related to programming languages such as fundamental concepts of language design, Programming paradigms, Basic concepts of language implementation, Programming environments, History of programming languages and some recent directions in programming languages research.

Author(s): Keunwoo Lee

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

Implementing Functional Languages A Tutorial

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

Author(s):

Pages