Relating Functional and Imperative Session Types.

Hannes Saffrich, Peter Thiemann

Browse the full Coordination paper archive.