An Equivalence-Preserving CPS Translation via Multi-Language Semantics

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

Abstract

No abstract available; check out the Download or Google Scholar links above for publications details.

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work