The Objective Caml System, release 3.08. http: //caml.inria.fr/distrib/ocaml-3.08/ocaml-3.08-refman.pdf (0)

by X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
Venue:Rewriting Techniques and Applications, 15th International Conference, RTA-04, LNCS 3091