Description: Implementation of binary session types for OCaml: session type inference, equi-recursive session types, polymorphic session types, context-free session types, session subtyping.

Developed at: UNITO

Contacts: Luca Padovani

Available at: http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html