session-ocaml

swMATH32937MaRDI QIDQ44648FDOQ44648

Author name not available (Why is that?)

Cited In (2)

• Relating Functional and Imperative Session Types
• A type checking algorithm for concurrent object protocols

This page was built for software: session-ocaml