В этой статье дано оригинальное определение и реализация языка программирования Scheme , диалекта Lisp с полной лексической замкнутостью, основанного на лямбда-исчислении , и продемонстрировано, как его можно использовать для рассуждений о семантике хвостовой рекурсивной итерации и стиле продолжения-передачи .
Эта статья [Ste77a] Steele, Guy Lewis Jr. Compiler Optimization Based on Viewing LAMBDA as RENAME plus GOTO. S.M. Thesis. MIT AI Lab (Cambridge, May 1977).
есть тут на либгене в книге на стр.399 Winston, Brown - Artificial Intelligence_ An MIT Perspective, V2_ Understanding Vision, Manipulation and Productivity Technology, Computer Design and Symbol Manipulation.djvu --
Comments 2
Gerald Jay Sussman and Guy L. Steele, Jr.
https://en.wikisource.org/wiki/Scheme:_An_Interpreter_for_Extended_Lambda_Calculus
В этой статье дано оригинальное определение и реализация языка программирования Scheme , диалекта Lisp с полной лексической замкнутостью, основанного на лямбда-исчислении , и продемонстрировано, как его можно использовать для рассуждений о семантике хвостовой рекурсивной итерации и стиле продолжения-передачи .
Reply
[Ste77a] Steele, Guy Lewis Jr. Compiler Optimization Based on Viewing LAMBDA as RENAME plus GOTO. S.M. Thesis. MIT AI Lab (Cambridge, May 1977).
есть тут на либгене в книге на стр.399
Winston, Brown - Artificial Intelligence_ An MIT Perspective, V2_ Understanding Vision, Manipulation and Productivity Technology, Computer Design and Symbol Manipulation.djvu
--
Reply
Leave a comment