Proc. of a conference on Functional programming languages and computer architecture
Compiling with continuations
Compiling standard ML for efficient execution on modern machines
Compiling standard ML for efficient execution on modern machines
The Definition of Standard ML
Design and implementation of exception handling with zero overhead in functional languages
Design and implementation of exception handling with zero overhead in functional languages
Hi-index | 0.00 |
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].