Normal view
MARC view
Types for programming in the large (Topical Term)
Machine generated authority record.
Work cat.: (OSt)187354: Pierce, Benjamin C. 135263, Advanced topics in types and programming languages /, 2005.