@inproceedings{WMM07,
  author = {Scott Owens and Gilles Peskine},
  title = {Verifying Type Soundness for {OCaml}: The Core Language},
  month = sep,
  year = 2007,
  note = {One page abstract},
  booktitle = {2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory}}