Retraction approach to CPS transform

DOI10.1023/A:1010012532463zbMath0934.68032OpenAlexW1547321049MaRDI QIDQ1290333

Jakov Kučan

Publication date: 31 May 1999

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010012532463

zbMATH Keywords

computational transformcontinuation passing style

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

On the relations between monadic semantics ⋮ Galois connecting call-by-value and call-by-name ⋮ On one-pass CPS transformations

This page was built for publication: Retraction approach to CPS transform