Practical Foundations for Programming Languages

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

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.