Presentations

Open access
Apr 3, 2022

Polymorphic Multiparty Session Handlers in OCaml

PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany
  • Keigo Imai

Language
Japanese
Presentation type
Oral presentation (general)

Link information
Research Projects
Network of automata with data based on compositional active learning
Research Projects
Session type embedding for practical concurrent/distributed programming
URL
https://places-workshop.github.io/2022/programme/