Higher Order Operational Techniques in Semantics

Discover the groundbreaking insights in "Higher Order Operational Techniques in Semantics," a compelling collection of original articles published by Cambridge University Press in 1998. This hardback edition spans 400 pages and showcases contributions from leading researchers in the field of operational semantics for higher order programming languages. The book provides a comprehensive survey of various techniques and explores a diverse range of higher order languages, including those based on functions, processes, and objects, both with and without side effects, as well as typed and untyped languages. Ideal for academics and practitioners alike, this volume is an essential resource for anyone looking to deepen their understanding of operational semantics in programming languages. Enhance your library with this influential work today!