Certifying CPS transformation of let-polymorphic calculus using PHOAS (Q6166157)
From MaRDI portal
scientific article; zbMATH DE number 7721442
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certifying CPS transformation of let-polymorphic calculus using PHOAS |
scientific article; zbMATH DE number 7721442 |
Statements
Certifying CPS transformation of let-polymorphic calculus using PHOAS (English)
0 references
2 August 2023
0 references
one-pass CPS transformation
0 references
parameterized higher-order abstract syntax
0 references
let-polymorphism
0 references
Agda
0 references
