An implementation of session types (2004)

by M Neubauer, P Thiemann
Venue:In PADL, LNCS