The Pi-calculus in Direct Style

@inproceedings{Boudol1997ThePI,
  title={The Pi-calculus in Direct Style},
  author={G{\'e}rard Boudol},
  booktitle={POPL},
  year={1997}
}
We introduce a calculus which is a direct extension of both the ¿ and the ¿ calculi. We give a simple type system for it, that encompasses both Curry's type inference for the ¿-calculus, and Milner's sorting for the ¿-calculus as particular cases of typing. We observe that the various continuation passing style transformations for ¿-terms, written in our calculus, actually correspond to encodings already given by Milner and others for evaluation strategies of ¿-terms into the ¿-calculus… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 30 CITATIONS

A Concurrent Object Calculus: Reduction and Typing

  • Electr. Notes Theor. Comput. Sci.
  • 1998
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)

VIEW 13 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Distribution and Mobility with Lexical Scoping in Process Calculi

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On the Observational Theory of the CPS-calculus: (Extended Abstract)

  • Electr. Notes Theor. Comput. Sci.
  • 2006
VIEW 3 EXCERPTS
CITES METHODS

A calculus for reasoning about software composition

  • Theor. Comput. Sci.
  • 2005
VIEW 2 EXCERPTS
CITES BACKGROUND

Embedded interpreters

  • J. Funct. Program.
  • 2005
VIEW 1 EXCERPT
CITES BACKGROUND