The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real comp

Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented langua

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an ope

This will become the new standard reference for people wanting to know about the Lisp family of languages.