Normal view MARC view

Types for programming in the large (Topical Term)

Preferred form: Types for programming in the large

Machine generated authority record.

Work cat.: (OSt)187354: Pierce, Benjamin C. 135263, Advanced topics in types and programming languages /, 2005.