A continuation-based language embedded in scheme

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 期刊論文 > Item 987654321/45379

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/45379

题名:	A continuation-based language embedded in scheme
作者:	王慶林;Wang, Ching-lin
贡献者:	淡江大學資訊工程學系
关键词:	Continuations;Embeddings;Programming-language concepts;Scheme
日期:	1992-01
上传时间:	2010-03-26 19:11:40 (UTC+8)
出版者:	Elsevier
摘要:	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.
關聯:	Computer languages 17(1), pp.19-37
DOI:	10.1016/0096-0551(92)90020-N
显示于类别:	[資訊工程學系暨研究所] 期刊論文

文件中的档案:

档案	大小	格式	浏览次数
index.html	0Kb	HTML	152	检视/开启

在機構典藏中所有的数据项都受到原著作权保护.

TAIR相关文章