Hostname: page-component-745bb68f8f-g4j75 Total loading time: 0 Render date: 2025-02-11T08:59:53.455Z Has data issue: false hasContentIssue false
  • English
  • Français

From λ to π; or, Rediscovering continuations

Published online by Cambridge University Press:  01 August 1999

DAVIDE SANGIORGI
DAVIDE SANGIORGI
Affiliation:
INRIA-Sophia Antipolis, 2004 Rue des Lucioles, B.P. 93, 06902 Sophia Antipolis, France. Email: davide.sangiorgi@inria.fr.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We study the relationship between the encodings of the λ-calculus into π-calculus, the Continuation Passing Style (CPS) transforms, and the compilation of the Higher-Order π-calculus (HOπ) into π-calculus. We factorise the π-calculus encodings of (untyped as well as simply-typed) call-by-name and call-by-value λ-calculus into three steps: a CPS transform, the inclusion of CPS terms into HOπ and the compilation from HOπ to π-calculus. The factorisations are used both to derive the encodings and to prove their correctness.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 9 , Issue 4 , August 1999 , pp. 367 - 401
Copyright
© 1999 Cambridge University Press