This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics
Levertijd op aanvraag
This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.