@inproceedings{ESOP08,
  author = {Scott Owens},
  title = {A Sound Semantics for {OCaml} light},
  booktitle = {Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008},
  month = mar,
  year = 2008,
  editor = {Sophia Drossopoulou},
  publisher = {Springer},
  pages = {1--15},
  series = {Lecture Notes in Computer Science},
  volume = 4960,
  doi = {10.1007/978-3-540-78739-6_1}}