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.

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Harper, Robert
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Cambridge, New York Cambridge University Press 2013.
Ábhair: