Practical Foundations for Programming Languages

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper inste...

Full description

Saved in:
Bibliographic Details
Main Author Harper, Robert
Format eBook Book
LanguageEnglish
Published Cambridge Cambridge University Press 17.12.2012
Edition1
Subjects
COMPUTERS / Programming Languages / General. bisacsh
Programming languages (Electronic computers)
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first