奥利维尔·丹维 Peter J.Landin（1930-2009）。 （英语） Zbl 1183.01023号 高-订购符号。计算。 22，第2期，191-195（2009）. 摘要：这篇笔记是即将发行的纪念彼得·兰丁的《居者有其屋》特刊的前奏。 MSC公司： 01A70号 传记、讣告、个人信息、参考书目 传记参考： 彼得·兰丁。 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}，高-订购符号。计算。22，第2号，191--195（2010；Zbl 1183.01023） 全文： 内政部 参考文献： [1] Abdali，S.K.：编程语言的lambda-calculus模型，第二部分：跳转和过程。计算。语言1（4），303–320（1976）·Zbl 0356.68042号 ·doi:10.1016/0096-0551（75）90018-1 [2] Berdine，J.：连续传递风格的线性和仿射分型。伦敦大学玛丽女王博士论文（2004年） [3] Clements，J.，Sundaram，A.，Herman，D.：在JavaScript中实现延续标记。In:Clinger，W.（ed.）《2008年ACM SIGPLAN方案和函数编程研讨会论文集》，第1-9页，不列颠哥伦比亚省维多利亚市，2008年9月 [4] Danvy，O.（编辑）：第二届ACM SIGPLAN延续研讨会会议记录（CW'97）。金砖国家NS-96-13技术报告，法国巴黎奥胡斯大学（1997年1月） [5] 丹维：对兰丁的SECD机器的理性解构。作者：Grelck，C.，Huch，F.，Michaelson，G.J.，Trinder，P.（编辑），《函数语言的实现和应用》，第16届国际研讨会，2004年，德国吕贝克，IFL’04。计算机科学课堂讲稿，第3474卷，第52-71页。施普林格，柏林（2004）。2004年彼得·兰丁奖获得者。扩展版本可用作研究报告BRICS RS-03-33 [6] Danvy，O.，Filinski，A.：抽象控制。摘自：Wand，M.（编辑）《1990年ACM Lisp和函数编程会议论文集》，法国尼斯，1990年6月，第151-160页。ACM出版社，纽约（1990） [7] Danvy，O.，Millikin，K.：用J操作符对Landin的SECD机器进行理性解构。日志。计算方法。科学。4(12), 1–67 (2008) ·Zbl 1161.68012号 [8] Danvy，O.，Millikin，K.：工作中的重新功能化。科学。计算。程序。74(8), 534–549 (2009). 扩展版本可作为研究报告BRICS RS-08-04获得·Zbl 1192.68115号 ·doi:10.1016/j.scico.2007.10.07 [9] Danvy，O.，Nielsen，L.R.：工作中的非功能化。摘自：Söndergaard，H.（ed.）《第三届国际ACM SIGPLAN声明性编程原则与实践会议论文集》（PPDP'01），意大利费伦泽，2001年9月，第162-174页。ACM出版社，纽约（2001年）。扩展版本可用作研究报告BRICS RS-01-23 [10] Danvy，O.，Talcott，C.L.（编辑）：第二届ACM延续研讨会特刊（CW 1997），第一部分。高阶符号。计算。11(2) (1998) [11] Danvy，O.，Shan，C.-C.，Zerny，I.：J代表Javascript：类Algol语言和Javascript之间使用一级延续的直接风格的通信。在：Taha，W.（编辑）领域特定语言，IFIP TC 2工作会议，DSL 2009，英国牛津，2009年7月。计算机科学课堂讲稿，第5658卷，第1-19页。柏林施普林格出版社（2009） [12] 费舍尔，M.J.：Lambda-calculus schemata。Lisp符号。计算。6(3/4), 259–288 (1993). 可在网址：http://www.brics.dk/\（\sim\）hosc/vol06/03-fischer.html。1972年1月，SIGPLAN通告第7卷第1期，ACM关于证明程序断言的会议上提出了初步版本·doi:10.1007/BF01019461 [13] Friedman，D.P.，Haynes，C.T.：约束控制。摘自：Van Deusen，M.S.，Galil，Z.（编辑）《第十二届美国计算机学会编程语言原则研讨会论文集》，路易斯安那州新奥尔良，1985年1月，第245-254页。纽约ACM出版社（1985） [14] 兰丁，P.J.：表达式的机械评估。计算。J.6（4），308–320（1964）·Zbl 0122.36106号 [15] P.J.兰丁：阿尔戈60和丘奇兰姆达记谱法之间的对应关系，第1部分和第2部分。Commun公司。ACM 8、89–101、158–165（1965）·Zbl 0134.33403号 [16] P.J.兰丁：跳跃和标签的概括。研究报告，UNIVAC系统编程研究（1965年）。以高级符号重印。计算。11（2），125–143（1998），附H.Thielecke的前言·Zbl 0934.68036号 ·doi:10.1023/A:1010068630801 [17] P.J.兰丁：摆脱标签。研究报告，UNIVAC系统编程（1965年7月）·Zbl 1211.68053号 [18] P.J.兰丁：接下来的700种编程语言。Commun公司。ACM 9（3），157-166（1966）·Zbl 0149.12505号 ·doi:10.1145/365230.365257 [19] 兰丁，P.J.：《延续发现的历史：带有模糊时态的美女莱特》。收录：Danvy，O.《第二届ACM SIGPLAN延续研讨会论文集》（CW'97）。《金砖四国NS-96-13技术报告》，法国巴黎奥胡斯大学（1997年1月），第1-9页 [20] P.J.兰丁：跳跃和标签的概括。高阶符号。计算。11（2），125-143（1998年）。转载自技术报告《UNIVAC系统编程研究》（1965年），序言由H.Thielecke撰写·Zbl 0934.68036号 ·doi:10.1023/A：1010068630801 [21] P.J.兰丁：我在斯特拉奇的岁月。高阶符号。计算。13(1/2), 75–76 (2000) ·Zbl 0951.01027号 ·doi:10.1023/A:1010057925827 [22] 莫里斯：接下来的700种正式语言描述。Lisp符号。计算。6（3/4），249–258（1993），根据1970年的手稿重印·doi:10.1007/BF01019460 [23] Morris，J.H.Jr.：来自van Wijngaarden设备的奖金。Commun公司。ACM 15（8），773（1972）·数字对象标识代码：10.1145/361532.361558 [24] Plotkin，G.D.：调用名、调用值和{\（\lambda\）}-演算。西奥。计算。科学。1, 125–159 (1975) ·Zbl 0325.68006号 ·doi:10.1016/0304-3975（75）90017-1 [25] Reynolds，J.C.：高阶编程语言的定义解释器。摘自：《第25届美国医学会全国会议记录》，第717-740页，马萨诸塞州波士顿，1972年。以高级符号重印。计算。11（4），363–397（1998），J.C.Reynolds引言 [26] 雷诺兹，J.C.：延续的发现。Lisp符号。计算。6(3/4), 233–247 (1993) ·doi:10.1007/BF01019459 [27] Reynolds，J.C.：重访定义口译员。高阶符号。计算。11(4), 355–361 (1998) ·Zbl 0934.68033号 ·doi:10.1023/A:101007532053 [28] Steele，G.L.Jr.：兔子：Scheme的编译器。马萨诸塞州剑桥市麻省理工学院人工智能实验室硕士论文（1978年5月）。技术报告AI-TR-474 [29] Strachey，C.，Wadsworth，C.P.：继续：处理完整跳跃的数学语义。技术专著PRG-11，牛津大学计算实验室，编程研究小组，英国牛津（1974年）。以高级符号重印。计算。13（1/2），135–152（2000）及C.P.Wadsworth的前言 [30] Thielecke，H.：Landin的“跳跃和标签的概括”简介。高阶符号。计算。11(2), 117–124 (1998) ·兹比尔0934.68035 ·doi:10.1023/A:1010060315625 [31] van Wijngaarden，A.：语法和语义的递归定义。收录于：Steele，T.B.Jr.（编辑）《计算机程序设计的形式语言描述语言》，第13-24页。荷兰北部，阿姆斯特丹（1966年） [32] 华兹华斯，C.P.：继续回顾。高阶符号。计算。13(1/2), 131–133 (2000) ·Zbl 0951.68077号 ·doi:10.1023/A：1010074239461 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。