{"title":"The scheme environment: continuations","authors":"William D. Clinger","doi":"10.1145/1317193.1317197","DOIUrl":null,"url":null,"abstract":"Continuations are also a fairly old concept. Their importance became evident in the pioneering work of Christopher Strachey, Peter Landin, John Reynolds, and others who during the late 1960's were using lambda calculus as a formal tool to describe the semantics of Algol 60 and other programming languages [4, 5]. Carl Hewitt borrowed the concept from this work on formal semantics, giving it prominence in his message-passing model of computation known as actors. Continuations were carried over into Scheme, which Guy Steele and Gerry Sussman invented as a concrete implementation of actors.","PeriodicalId":262740,"journal":{"name":"ACM SIGPLAN Lisp Pointers","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1987-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGPLAN Lisp Pointers","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1317193.1317197","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
Continuations are also a fairly old concept. Their importance became evident in the pioneering work of Christopher Strachey, Peter Landin, John Reynolds, and others who during the late 1960's were using lambda calculus as a formal tool to describe the semantics of Algol 60 and other programming languages [4, 5]. Carl Hewitt borrowed the concept from this work on formal semantics, giving it prominence in his message-passing model of computation known as actors. Continuations were carried over into Scheme, which Guy Steele and Gerry Sussman invented as a concrete implementation of actors.
延续也是一个相当古老的概念。它们的重要性在Christopher Strachey, Peter Landin, John Reynolds等人的开创性工作中变得明显,他们在20世纪60年代末使用lambda演算作为描述Algol 60和其他编程语言语义的正式工具[4,5]。卡尔·休伊特借鉴了这个关于形式语义学的概念,在他的消息传递计算模型中突出了这个概念,即行动者。延续延续到Scheme中,Guy Steele和Gerry Sussman发明了Scheme作为actor的具体实现。