B
Benjamin C. Pierce
5 works on record
Works

Advanced topics in types and programming languages

Theoretical Aspects of Computer Software

Basic Category Theory for Computer Scientists

Types and Programming Languages
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation