Programming game semantics: Concurrent MiniOCaml

This webpage is an implementation of a translation from Concurrent Mini-OCaml to event structures. In the textarea below, you can enter some concurrent OCaml code and explore the resulting event structure.

The semantics is different from the usual OCaml semantics. Everything that can be evaluated in parallel will be evaluated in parallel (tuples, applications).

Note that this is only a prototype. A few remarks:

Input code



Results: