On the semantics of the call-by-name CPS transform (Q1575687)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the semantics of the call-by-name CPS transform |
scientific article |
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
