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...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
©2005.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
