Advanced topics in types and programming languages /

A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and an...

Full description

Bibliographic Details

Other Authors:	Pierce, Benjamin C.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©2005.
Subjects:	Programming languages (Electronic computers) COMPUTER SCIENCE/Programming Languages Electronic books.
Online Access:	Connect to the full text of this electronic book