%0 Conference Paper %1 conf/ifl/TanOK15 %A Tan, Yong Kiam %A Owens, Scott %A Kumar, Ramana %B IFL %D 2015 %E Lämmel, Ralf %I ACM %K dblp %P 7:1-7:12 %T A verified type system for CakeML. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2015.html#TanOK15 %@ 978-1-4503-4273-5

@inproceedings{conf/ifl/TanOK15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Tan, Yong Kiam and Owens, Scott and Kumar, Ramana}, biburl = {https://www.bibsonomy.org/bibtex/2c768b983cb1ef7d3f9b8900c68dac58d/dblp}, booktitle = {IFL}, crossref = {conf/ifl/2015}, editor = {Lämmel, Ralf}, ee = {https://doi.org/10.1145/2897336.2897344}, interhash = {cb1fea6d07fc41bba1abdc43b9ee7b61}, intrahash = {c768b983cb1ef7d3f9b8900c68dac58d}, isbn = {978-1-4503-4273-5}, keywords = {dblp}, pages = {7:1-7:12}, publisher = {ACM}, timestamp = {2018-11-07T13:34:32.000+0100}, title = {A verified type system for CakeML.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2015.html#TanOK15}, year = 2015 }