session-ocaml

swMATH32937MaRDI QIDQ44648FDOQ44648

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-59746-1_6

Cited In (4)

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

This page was built for software: session-ocaml