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