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
Language:	English
Published:	Cambridge Cambridge University Press 17.12.2012
Edition:	1
Subjects:	COMPUTERS / Programming Languages / General. bisacsh Programming languages (Electronic computers)
ISBN:	1107029570, 9781107029576
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!