TY - RPRT TI - Eff Directly in OCaml AU - Oleg Kiselyov AU - KC Sivaramakrishnan PY - 2018 DO - 10.4204/eptcs.285.2 UR - https://arxiv.org/abs/1812.11664 ID - 1812.11664 ER -