TY  - RPRT
TI  - Proceedings ML Family/OCaml Users and Developers workshops
AU  - Oleg Kiselyov
AU  - Jacques Garrigue
PY  - 2015
DO  - 10.4204/eptcs.198
UR  - https://arxiv.org/abs/1512.01438
ID  - 1512.01438
ER  -