Higher order operational techniques in semantics

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.