1) Kenneth Slonneger 和 Barry Kurtz 著的《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》 - https://homepage.divms.uiowa.edu/~slonnegr/（网上有 PDF）。2) 你可能也会觉得 Cliff B. Jones 的书《Understanding…
1) Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Kenneth Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ (PDFs are available on the web). 2) You may also find Cliff B. Jones' book Understanding…
……从形式系统（也就是语言）的视角来看待计算，这才是需要结合必要的逻辑/数学知识穿插传达的内容。在学习 PLT（编程语言理论）时，我觉得以下资料很有用：Ken Slonneger 和 Barry Kurtz 著的《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》 - https://homepage.divms.uiowa.edu/~slonnegr/ 以及 https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/，还有 Jean-Francois 的《Understanding Formal Methods》……
…Computation from a formal system (i.e. language) pov and that is what needs to be communicated with the needed logical/mathematical knowledge inline. I have found the following useful in my study of PLT; Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Ken Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/ Understanding Formal Methods by Jean-Francois…
……从历史的角度来看。虎书（The Tiger book）、《Compiling with Continuations》和《Lisp in Small Pieces》是我最喜欢的几本。再往后，如果你想学习语言语义验证，可以读《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》。
…from historical perspective. The Tiger book, "Compiling with Continuations" and "Lisp in Small Pieces" are some of my favourite ones. Then if you want to learn about language semantics validation, "Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach".
……我对 Prolog 不太熟，但一直打算深入学习一下，毕竟它可以用来设计编程语言/DSL/专家系统/机器学习。这是我收集的一些资源：1) Ken Slonneger 的《Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach》，它使用 Prolog 来设计/实现语言 - http://homepage.divms.uiowa.edu/~slonnegr/ 以及 https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ 2) 《Defining…
…not too familiar with Prolog, i have been intending to study it in depth given that it can be used to design Languages/DSLs/Expert Systems/ML. Here are some resources which i have been collecting; 1) Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach by Ken Slonneger uses Prolog to design/implement languages - http://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ 2) Defining…
Slonneger, Kenneth, and Kurtz, Barry L.. 《Formal syntax and semantics of programming languages : a laboratory based approach》. 英国, Addison-Wesley 出版公司, 1995. 顺便吐槽下，亚马逊 App 非要切国家，我不切就直接退出。（真扫兴）。摘自前言：实验室……
Slonneger, Kenneth, and Kurtz, Barry L.. Formal syntax and semantics of programming languages : a laboratory based approach. United Kingdom, Addison-Wesley Publishing Company, 1995. as the Amazon app wants to switch country and closes if I don't. (party pooper). from the Preface: Laboratory…
1) Kenneth Slonneger 和 Barry Kurtz 著的《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》 - https://homepage.divms.uiowa.edu/~slonnegr/（网上有 PDF）。2) 你可能也会觉得 Cliff B. Jones 的书《Understanding…
1) Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Kenneth Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ (PDFs are available on the web). 2) You may also find Cliff B. Jones' book Understanding…
……从形式系统（也就是语言）的视角来看待计算，这才是需要结合必要的逻辑/数学知识穿插传达的内容。在学习 PLT（编程语言理论）时，我觉得以下资料很有用：Ken Slonneger 和 Barry Kurtz 著的《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》 - https://homepage.divms.uiowa.edu/~slonnegr/ 以及 https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/，还有 Jean-Francois 的《Understanding Formal Methods》……
…Computation from a formal system (i.e. language) pov and that is what needs to be communicated with the needed logical/mathematical knowledge inline. I have found the following useful in my study of PLT; Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Ken Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/ Understanding Formal Methods by Jean-Francois…
……从历史的角度来看。虎书（The Tiger book）、《Compiling with Continuations》和《Lisp in Small Pieces》是我最喜欢的几本。再往后，如果你想学习语言语义验证，可以读《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》。
…from historical perspective. The Tiger book, "Compiling with Continuations" and "Lisp in Small Pieces" are some of my favourite ones. Then if you want to learn about language semantics validation, "Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach".
……我对 Prolog 不太熟，但一直打算深入学习一下，毕竟它可以用来设计编程语言/DSL/专家系统/机器学习。这是我收集的一些资源：1) Ken Slonneger 的《Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach》，它使用 Prolog 来设计/实现语言 - http://homepage.divms.uiowa.edu/~slonnegr/ 以及 https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ 2) 《Defining…
…not too familiar with Prolog, i have been intending to study it in depth given that it can be used to design Languages/DSLs/Expert Systems/ML. Here are some resources which i have been collecting; 1) Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach by Ken Slonneger uses Prolog to design/implement languages - http://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ 2) Defining…
Slonneger, Kenneth, and Kurtz, Barry L.. 《Formal syntax and semantics of programming languages : a laboratory based approach》. 英国, Addison-Wesley 出版公司, 1995. 顺便吐槽下，亚马逊 App 非要切国家，我不切就直接退出。（真扫兴）。摘自前言：实验室……
Slonneger, Kenneth, and Kurtz, Barry L.. Formal syntax and semantics of programming languages : a laboratory based approach. United Kingdom, Addison-Wesley Publishing Company, 1995. as the Amazon app wants to switch country and closes if I don't. (party pooper). from the Preface: Laboratory…