Imported "A few papers on ocaml", issue #35