Practical Foundations for Programming Languages

Robert Harper — 2016
Sign up to use
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

Reviews

No reviews yet.
Be the first to write one.

Highlights

No highlights yet.
Be the first to share one.