Session Types Without Sophistry: System Description

von Kiselyov, Oleg
Veröffentlicht in FLOPS (15. : 2020 : Online) Functional and logic programming (2020)

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

von Imai, Keigo
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)