期刊論文
| 學年 | 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 ) |