A model of CPS translation and interpretation
Ramón Zataraín Cabada, Ryan D. Stansifer · 2004
This paper presents a model of translation of functional languages. The source language of the translation is a simple extension of lambda expressions and the target language is a language in continuation passing style (CPS).We have implemented, in SML [5], the translation and the interpreters of both the source and target languages. These systems are based on the definitions of the CPS semantics by Appel [1]. The main contribution is a complete and executable framework for a CPS compiler, allowing the study of a wide range of performance issues among different elements. Another contribution is the implementation of a succeed and fail continuation model. The approach eliminates overhead when using exception handling and was described in [4].