Higher Order Operational Techniques in Semantics (Hardcover)

Introduction; 1. Operational reasoning about primitive objects A. Gordon; 2. Semantics for core concurrent ML with computation types A. Jeffrey; 3. Relational reasoning about contexts S. B. Lassen; 4. Labelling techniques and typed fixed-point operators J. Mitchell, M. Hoang and B. T. Howard; 5. Semantics of memory management for plymorphic languages G. Morrisett and R. Harper; 6. Operational reasoning for functional languages with local state A. Pitts, I. Stark; 7. Improvement theory and its applications D. Sands; 8. The coverage of operational semantics S. F. Smith; 9. Reasoning about functions with effects C. Talcott.