An implementation of session types (0)

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