…order to prepare for a standardized test I had to take. After a few chapters I realized this was no ordinary Calculus book." Anyway, there is a reprint available now for $25 http://www.amazon.com/The-Lambda-Calculus-Syntax-Semantics/d...
很棒的文章（顺便说一句，Stanford Encyclopedia of Philosophy 上还有很多），但我更喜欢 Henk Barendregt（Lambda 演算领域的大牛之一，比如参考文献里就引用了他的书《The Lambda Calculus: Its syntax and semantics.》）写的《Introduction to Lambda Calculus》，它还有一个额外的好处……
Nice article (the Stanford Encyclopedia of Philosophy has many more, btw.), but I like the "Introduction to Lambda Calculus" by Henk Barendregt (one of the people working in Lambda calculus, see for instance the citation to his book "The Lambda Calculus: Its syntax and semantics." in the references), which has the added benefit…
这是一个精选书单：- Konrad Zuse 的《Calculating space》（见：https://news.ycombinator.com/item?id=18325689）- Charles Petzold 的《The Annotated Turing》- H. Barendregt 的《Introduction to Lambda Calculus》（把习题/证明做一遍）- Philip Wadler 的《Propositions as Types》- Thomas Sudkamp 的《Languages and Machines》第三部分
Here's a short-list: - Calculating space by Konrad Zuse (See: https://news.ycombinator.com/item?id=18325689) - The Annotated Turing by Charles Petzlod - Introduction to Lambda Calculus by H. Barendregt (do the exercises/proofs) - Propositions as Types by Philip Wadler - Part III. of Languages and Machines by Thomas Sudkamp
虽说这是一篇关于编译到 lambda 演算的不错文章，但新手可能会发现 Barendregt 的《Introduction to Lambda Calculus》（ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf）是一份极为宝贵的资源。（在我看来，这是彻底搞懂 lambda 演算的最佳著作，……
While this is a nice article on compiling to lambda calculus, the uninitiated might find Barendregt's "Introduction to Lambda Calculus" (ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf) an invaluable resource. (IMHO, it's the best work for groking lambda calculus,…
……与数据结构。* 编译器方面：- Wirth：《Compiler Construction》。- Grune、Bal、Jacobs、Cerial：《Modern Compiler Design》。- Muchnick：《Advanced Compiler Design and Implementation》。* Lambda 演算方面：- Barendregt：《Introduction to Lambda Calculus》。* 理论计算机科学方面：- Kozen：《Automata and Computability》。- Davis：《Computability and Unsolvability》。* 编程语言概念方面：……
…and Data Structures. * In Compilers: - Wirth: Compiler Construction. - Grune, Bal, Jacobs, Cerial: Modern Compiler Design. - Muchnick: Advanced Compiler Design and Implementation. * In Lambda calculus: - Barendregt: Introduction to Lambda Calculus. * In theoretical computer science: - Kozen: Automata and Computability. - Davis: Computability and Unsolvability. * In concepts of PLs:…
……有趣的论文。说到这里，没看到几本关于语义学的书（比如《Transitions and Trees》或《Semantics Engineering with PLT Redex》）和《TAPL》以及 Barendregt 的《Lambda Calculus》列在一起，感觉有点奇怪。尤其是现在很多程序员都在涉足 DSL 设计，了解一些操作语义学的背景是很有必要的。我会把这两本书中的任意一本推荐给任何从事……
…interesting papers. On that note it's a bit strange not to see a few books on semantics, such as Transitions and Trees or Semantics Engineering with PLT Redex, listed among books like TAPL and Barendregt's Lambda Calculus. Especially now that DSL design is something many programmers are dabbling in, it makes sense to gain some background on operational semantics. I'd recommend either of these books to anyone working on…
……为了准备我必须参加的标准化考试。看了几章之后，我才意识到这绝不是一本普通的微积分（Calculus）书。”不管怎样，现在有一个售价 25 美元的重印版 http://www.amazon.com/The-Lambda-Calculus-Syntax-Semantics/d...
…order to prepare for a standardized test I had to take. After a few chapters I realized this was no ordinary Calculus book." Anyway, there is a reprint available now for $25 http://www.amazon.com/The-Lambda-Calculus-Syntax-Semantics/d...
很棒的文章（顺便说一句，Stanford Encyclopedia of Philosophy 上还有很多），但我更喜欢 Henk Barendregt（Lambda 演算领域的大牛之一，比如参考文献里就引用了他的书《The Lambda Calculus: Its syntax and semantics.》）写的《Introduction to Lambda Calculus》，它还有一个额外的好处……
Nice article (the Stanford Encyclopedia of Philosophy has many more, btw.), but I like the "Introduction to Lambda Calculus" by Henk Barendregt (one of the people working in Lambda calculus, see for instance the citation to his book "The Lambda Calculus: Its syntax and semantics." in the references), which has the added benefit…
这是一个精选书单：- Konrad Zuse 的《Calculating space》（见：https://news.ycombinator.com/item?id=18325689）- Charles Petzold 的《The Annotated Turing》- H. Barendregt 的《Introduction to Lambda Calculus》（把习题/证明做一遍）- Philip Wadler 的《Propositions as Types》- Thomas Sudkamp 的《Languages and Machines》第三部分
Here's a short-list: - Calculating space by Konrad Zuse (See: https://news.ycombinator.com/item?id=18325689) - The Annotated Turing by Charles Petzlod - Introduction to Lambda Calculus by H. Barendregt (do the exercises/proofs) - Propositions as Types by Philip Wadler - Part III. of Languages and Machines by Thomas Sudkamp
虽说这是一篇关于编译到 lambda 演算的不错文章，但新手可能会发现 Barendregt 的《Introduction to Lambda Calculus》（ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf）是一份极为宝贵的资源。（在我看来，这是彻底搞懂 lambda 演算的最佳著作，……
While this is a nice article on compiling to lambda calculus, the uninitiated might find Barendregt's "Introduction to Lambda Calculus" (ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf) an invaluable resource. (IMHO, it's the best work for groking lambda calculus,…
……与数据结构。* 编译器方面：- Wirth：《Compiler Construction》。- Grune、Bal、Jacobs、Cerial：《Modern Compiler Design》。- Muchnick：《Advanced Compiler Design and Implementation》。* Lambda 演算方面：- Barendregt：《Introduction to Lambda Calculus》。* 理论计算机科学方面：- Kozen：《Automata and Computability》。- Davis：《Computability and Unsolvability》。* 编程语言概念方面：……
…and Data Structures. * In Compilers: - Wirth: Compiler Construction. - Grune, Bal, Jacobs, Cerial: Modern Compiler Design. - Muchnick: Advanced Compiler Design and Implementation. * In Lambda calculus: - Barendregt: Introduction to Lambda Calculus. * In theoretical computer science: - Kozen: Automata and Computability. - Davis: Computability and Unsolvability. * In concepts of PLs:…
……有趣的论文。说到这里，没看到几本关于语义学的书（比如《Transitions and Trees》或《Semantics Engineering with PLT Redex》）和《TAPL》以及 Barendregt 的《Lambda Calculus》列在一起，感觉有点奇怪。尤其是现在很多程序员都在涉足 DSL 设计，了解一些操作语义学的背景是很有必要的。我会把这两本书中的任意一本推荐给任何从事……
…interesting papers. On that note it's a bit strange not to see a few books on semantics, such as Transitions and Trees or Semantics Engineering with PLT Redex, listed among books like TAPL and Barendregt's Lambda Calculus. Especially now that DSL design is something many programmers are dabbling in, it makes sense to gain some background on operational semantics. I'd recommend either of these books to anyone working on…