| Original language | English |
|---|---|
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 294 |
| DOIs | |
| Publication status | Published - 16 May 2019 |
| Event | 2017 ML Family / OCaml Users and Developers Workshops, ML 2017 - Oxford, United Kingdom Duration: 7 Sept 2017 → … |