Automating the functional correspondence between higher-order evaluators and abstract machines (Q6102250)
From MaRDI portal
scientific article; zbMATH DE number 7683151
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automating the functional correspondence between higher-order evaluators and abstract machines |
scientific article; zbMATH DE number 7683151 |
Statements
Automating the functional correspondence between higher-order evaluators and abstract machines (English)
0 references
8 May 2023
0 references
evaluator
0 references
abstract machine
0 references
continuation-passing style
0 references
defunctionalization
0 references
0 references
