Benjamin C. Pierce

• Advanced Topics in Types and Programming Languages
• Advanced topics in types and programming languages
• Theoretical Aspects of Computer Software
• Types and Programming Languages
• Basic Category Theory for Computer Scientists
• Basic Category Theory for Computer Scientists
• Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation
• Types and Programming Languages