Benjamin C. Pierce 的 4 部作品在 Hacker News 评论中被 305 位读者提及:《类型和程序设计语言》《软件基础》《计算机科学家基础范畴论》《类型与程序设计语言高级主题》
完整浏览需要启用 JavaScript。