Loops in combinator-based compilers (Q3334057)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Loops in combinator-based compilers |
scientific article |
Statements
Loops in combinator-based compilers (English)
0 references
1983
0 references
lambda-calculus
0 references
compilation
0 references
combinators
0 references
compiler writer's virtual machine
0 references
correctness
0 references
transformations
0 references
explicit loops
0 references
