Inference of Session Types From Control Flow

@article{Collingbourne2010InferenceOS,
  title={Inference of Session Types From Control Flow},
  author={Peter Collingbourne and Paul H. J. Kelly},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2010},
  volume={238},
  pages={15-40}
}
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.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…