Robert Harper
Computers
Publisher: Cambridge University Press
Published: Apr 4, 2016
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Description:
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.