A sound semantics for OCaml light (2008)

by S Owens
Venue:In Proc. European Symposium on Programming, volume 4960 of Springer LNCS