upload the camera-ready version of our paper for the OCaml workshop 2014