Simon J. Gay

Suggest Changes
Learn More
We review work on session types and the π-calculus, and give an example identifying a use for bounded polymorphic types in this setting. We then define a variant of the π-calculus with the(More)