Jump to Content

An Equivalence-Preserving CPS Translation via Multi-Language Semantics

Amal Ahmed
Matthias Blume
Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) (to appear)

Abstract

Research Areas