Advanced topics in types and programming languages
了解 Benjamin C. Pierce 的《Advanced topics in types and programming languages》（Advanced topics in types and programming languages）：2007-02-22–2026-11-01 的 Hacker News 数据中有 5 次提及、5 位讨论者。阅读原文摘录、比较不同观点，将它加入你的书单。
分享到 XTHE HACKERBOOKS LIBRARY
Advanced topics in types and programming languages
社区里的声音
最近 5 条来源记录提及不等于推荐。标签来自源数据的自动分类；请打开原始讨论核对上下文。
Nnaasking
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ttomp
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Jjcurbo
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ppeterfirefly
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ssmikhanov
普通提及…ion? After spending some time with Haskell, I was considering diving into some more type theory. Any recommendation for the good type theory book? I know about Pierce's "Types and Programming Languages" and "Advanced Topics in Types and Programming Languages" but would like to learn whether there are any comparable alternatives. Thanks in advance!
在 Hacker News 阅读原文