Important Links
Machine generated authority record.
Work cat.: (OSt)31037: Pierce, Benjamin C. 12149, Advanced topics in types and programming languages, 2005.