Inference of session types from control flow (0)

by Peter Collingbourne, Paul H J Kelly
Venue:Electr. Notes Theor. Comp. Sci