𝔖 Bobbio Scriptorium
✦   LIBER   ✦

One first-order system

✍ Scribed by A. Yanushauskas


Book ID
112451117
Publisher
SP MAIK Nauka/Interperiodica
Year
1974
Tongue
English
Weight
154 KB
Volume
14
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A first-order one-pass CPS transformatio
✍ Olivier Danvy; Lasse R. Nielsen πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 497 KB

We present a new transformation of -terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and ΓΏrst-order. Previous CPS transformations only enjoyed two out of the three properties of being ΓΏrst-order, one-pass, and compositional, but the new