session-ocaml

MaRDI QIDQ44648swMATHFDO

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

Cited in

(4)

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

This page was built for software: session-ocaml