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 - 2 self

Document Versions

A sound semantics for OCamllight –Scott Owens — 2008 — In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Lecture Notes in Computer Science