@inproceedings{cd841232076741738e2ed96f006ca171,
title = "Continuation-passing, closure-passing style",
abstract = "We implemented a continuation-passing style (CPS) code generator for ML. Our CPS language is represented as an ML datatype in which all functions are named and most kinds of ill-formed expressions are impossible. We separate the code generation into phases that rewrite this representation into ever-simpler forms. Closures are represented explicitly as records, so that closure strategies can be communicated from one phase to another. No stack is used. Our benchmark data shows that the new method is an improvement over our previous, abstract-machine based code generator.",
author = "Appel, {Andrew W.} and Trevor Jim",
note = "Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages ; Conference date: 11-01-1989 Through 13-01-1989",
year = "1989",
doi = "10.1145/75277.75303",
language = "English (US)",
isbn = "0897912942",
series = "Conf Rec Sixteenth Annu ACM Symp Princ Program Lang",
publisher = "Publ by ACM",
pages = "293--302",
booktitle = "Conf Rec Sixteenth Annu ACM Symp Princ Program Lang",
}