Go backward to
Lambda Abstractions Alone
Go up to
Go forward to
Model of the Programming Language
Records and lambda abstractions can be added
Concepts are orthogonal to each other and to core language.
of new construction:
Semantics of original constructs unchanged.
If new construction uses component phrases of original language, the semantics of new construction is defined uniformly with respect to the component phrases (no special cases).
Typing rules and semantic equations can be added without affecting existing language.
Records, lambda abstractions,
Revision of language required.
Last Modification: May 14, 1998