Certifying CPS transformation of let-polymorphic calculus using PHOAS

DOI10.1007/978-3-030-02768-1_20zbMath1519.68061OpenAlexW2896133791MaRDI QIDQ6166157

Kenichi Asai, Urara Yamada

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-02768-1_20

zbMATH Keywords

Agdaone-pass CPS transformationlet-polymorphismparameterized higher-order abstract syntax

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verifying Selective CPS Transformation for Shift and Reset

This page was built for publication: Certifying CPS transformation of let-polymorphic calculus using PHOAS