Practical foundations for programming languages

"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"-- Provided by publisher.

Bibliografiska uppgifter
Huvudupphovsman: Harper, Robert
Materialtyp: Bok
Språk:English
Publicerad: Cambridge, New York Cambridge University Press 2013.
Ämnen: