On the semantics of the call-by-name CPS transform (Q1575687)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the semantics of the call-by-name CPS transform |
scientific article; zbMATH DE number 1493463
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the semantics of the call-by-name CPS transform |
scientific article; zbMATH DE number 1493463 |
Statements
On the semantics of the call-by-name CPS transform (English)
0 references
21 August 2000
0 references
continuation-passing-style transforms
0 references
calculus
0 references
Lévy-Longo trees
0 references
Böhm-out technique
0 references
0 references
0.9310104
0 references
0 references
0.83713233
0 references
0.8316699
0 references
0.8287684
0 references
0 references
0 references
