@inproceedings{Tan_OK_16,
    address          = {Koblenz, Germany},
    author           = {Tan, Yong Kiam and Owens, Scott and Kumar, Ramana},
    booktitle        = {Implementation and application of functional and programming languages},
    doi              = {10.1145/2897336.2897344},
    keywords         = {cakeml},
    month            = jul,
    pages            = {12},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8976.pdf},
    title            = {A Verified Type System for {CakeML}},
    year             = {2016}
  }