A sound semantics for OCamllight (2008)

by Scott Owens
Venue:In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Lecture Notes in Computer Science
Citations:13 - 4 self