reference.bib

@misc{url:limit-check,
  author = {Stephen Weeks},
  title = {{Limit Check Insertion via Loop Forests}},
  howpublished = "\url{http://www.mlton.org/pipermail/mlton-devel/2001-December/021178.html}",
  year = 2001
}

@misc{leibig:mlton-llvm-backend,
   key = {leibig:mlton-llvm-backend},
   title = {Masters Project Report: An {LLVM} Back-end for {MLton}},
   author = {Leibig, Brian Andrew},
   year = {2013},
   howpublished = {\url{https://www.cs.rit.edu/\~mtf/student-resources/20124\_leibig\_msproject.pdf}}
}



@article{HarperMitchell93
   author="Harper, R. and Mitchell, J.C.", 
   Title="On the type structure of {Standard ML}",
   Journal="ACM Trans. Programming Lang. and Systems",
   volume="15",Number="2",Year="1993",pages="211--252",
   Note={Earlier version appears as
        ``The Essence of {ML}'' in 
        {\it Proc. 15th ACM Symp. on Principles of 
        Programming  Languages,}
        1988, pp. 28--46}}