Practical Foundations for Programming Languages

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.