Inference of Session Types From Control Flow

  title={Inference of Session Types From Control Flow},
  author={Peter Collingbourne and Paul H. J. Kelly},
  journal={Electr. Notes Theor. Comput. Sci.},
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled session type syntax a well-formedness constraint based upon normalisation and explore the effects thereof. We present our inference algorithm declaratively and in a form suitable for implementation, and illustrate it with examples. We then present an implementation of the algorithm using a program analysis and… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…