An implementation of session types (2004)

by M Neubauer, P Thiemann
Venue:of Lecture Notes in Computer Science