TY  - RPRT
TI  - MetaOCaml Theory and Implementation
AU  - Oleg Kiselyov
PY  - 2023
UR  - https://arxiv.org/abs/2309.08207
ID  - 2309.08207
ER  -