CONTENTS:

Recursively specified data -- Deriving recursive programs -- Auxiliary procedures and context arguments -- Exercises -- Specifying data via interfaces -- Representation strategies for data types -- Interfaces for recursive data types -- A tool for defining recursive datatypes -- Abstract syntax and its representation -- Specification and implementation strategy -- LET: A simple language -- PROC: A language with procedures -- LETREC: A language with recursive procedures -- Scoping and binding of variables -- Eliminating variable names -- Implementing lexical addressing -- Computational effects -- EXPLICIT-REFS: A language with explicit references -- IMPLICIT-REFS: a language with implicit references -- MUTABLE-PAIRS: a language with mutable pairs -- Parameter-passing variations -- A continuation-passing interpreter -- An imperative interpreter -- Exceptions -- Threads -- Writing programs in continuation-passing style -- Tail form -- Converting to continuation-passing style -- Modeling computational effects -- Values and their types -- Assigning a type to an expression -- CHECKED: A Type-Checked Language -- INFERRED: a Language with Type Inference -- The simple module system -- Modules that declare types -- Module procedures -- Object-oriented programming -- Inheritance -- The language -- The interpreter -- A typed language -- The type checker -- For further reading -- Scanning -- Parsing -- Scanners and parsers in SLLGEN. ADDE