An Extensible Approach to Session Polymorphism
Home
Coq Implementation
Introduction
See
An Extensible Approach to Session Polymorphism
(PDF).
Contact
Matthew Goto
Radha Jagadeesan
Alan Jeffrey
Corin Pitcher
James Riely