A continuation-based language embedded in scheme
學年 80
學期 1
出版（發表）日期 1992-01-01
作品名稱 A continuation-based language embedded in scheme
作品名稱（其他語言）
著者 王慶林; Wang, Ching-lin
單位 淡江大學資訊工程學系
出版者 Elsevier
著錄名稱、卷期、頁數 Computer languages 17(1), pp.19-37
摘要 We show that lambda abstractions can be transformed into continuations with several interesting characteristics: • • Continuations could serve as the basis of a Scheme-like language, called Scheme-λ1. • • The transformation is analogous to the continuation-passing style transformation. • • Several programming-language concepts emerge as results of the transformation. • • Everything that can be represented as a lambda abstraction can now be represented as a continuation. • • The transformation is simple and sound. Our work would not be complete if the macro facility were not taken into account. Thus, we show how to embed Scheme-λ1 in Scheme so as to accommodate the macro facility.
關鍵字 Continuations;Embeddings;Programming-language concepts;Scheme
語言 en_US
ISSN 0096-0551 0749-2839
期刊性質 國外
收錄於
產學合作
通訊作者
審稿制度 否
國別 USA
公開徵稿
出版型式 ,電子版,紙本
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45379 )

機構典藏連結