@misc(smlnj,
 title        = {Standard ML of New Jersey},
 howpublished = {{\url{http://www.smlnj.org}}},
)
@inproceedings(DBLP:conf/icfp/ChakravartyKJ05,
 author       = {Manuel M. T. Chakravarty and Gabriele Keller and Simon L. Peyton Jones},
 year         = {2005},
 title        = {Associated type synonyms},
 booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28, 2005},
 pages        = {241--253},
 doi          = {10.1145/1086365.1086397},
)
@inproceedings(DBLP:conf/popl/ChakravartyKJM05,
 author       = {Manuel M. T. Chakravarty and Gabriele Keller and Simon L. Peyton Jones and Simon Marlow},
 year         = {2005},
 title        = {Associated types with class},
 booktitle    = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2005, Long Beach, California, USA, January 12-14, 2005},
 pages        = {1--13},
 doi          = {10.1145/1040305.1040306},
)
@inproceedings(DBLP:conf/icfp/CraryW99,
 author       = {Karl Crary and Stephanie Weirich},
 year         = {1999},
 title        = {Flexible Type Analysis},
 booktitle    = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '99), Paris, France, September 27-29, 1999.},
 pages        = {233--248},
 doi          = {10.1145/317636.317906},
)
@misc(flambda,
 title        = {Optimisation with Flambda},
 howpublished = {{\url{http://caml.inria.fr/pub/docs/manual-ocaml/flambda.html}}},
)
@misc(Frisch,
 author       = {Alan Frisch},
 year         = {2015},
 title        = {About unboxed float arrays},
 howpublished = {{\url{https://www.lexifi.com/blog/about-unboxed-float-arrays}}},
)
@inproceedings(DBLP:conf/popl/HarperM95,
 author       = {Robert Harper and J. Gregory Morrisett},
 year         = {1995},
 title        = {Compiling Polymorphism Using Intensional Type Analysis},
 booktitle    = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995},
 pages        = {130--141},
 doi          = {10.1145/199448.199475},
)
@inproceedings(DBLP:conf/popl/Leroy92,
 author       = {Xavier Leroy},
 year         = {1992},
 title        = {Unboxed Objects and Polymorphic Typing},
 booktitle    = {{ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages},
 pages        = {177--188},
 doi          = {10.1145/143165.143205},
)
@article(DBLP:journals/toplas/MorrisonDCB91,
 author       = {Ronald Morrison and Alan Dearle and Richard C. H. Connor and Alfred L. Brown},
 year         = {1991},
 title        = {An Ad Hoc Approach to the Implementation of Polymorphism},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {13},
 number       = {3},
 pages        = {342--371},
 doi          = {10.1145/117009.117017},
)
@inproceedings(DBLP:conf/icfp/Shao97,
 author       = {Zhong Shao},
 year         = {1997},
 title        = {Flexible Representation Analysis},
 booktitle    = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June 9-11, 1997.},
 pages        = {85--98},
 doi          = {10.1145/258948.258958},
)
@article(DBLP:journals/sigsoft/Shao00,
 author       = {Zhong Shao},
 year         = {2000},
 title        = {Typed common intermediate format},
 journal      = {{ACM} {SIGSOFT} Software Engineering Notes},
 volume       = {25},
 number       = {1},
 pages        = {82},
 doi          = {10.1145/340855.341019},
)
@inproceedings(DBLP:conf/icfp/ShaoLM98,
 author       = {Zhong Shao and Christopher League and Stefan Monnier},
 year         = {1998},
 title        = {Implementing Typed Intermediate Languages},
 booktitle    = {Proceedings of the third {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA, September 27-29, 1998.},
 pages        = {313--323},
 doi          = {10.1145/289423.289460},
)
@inproceedings(DBLP:conf/tldi/SulzmannCJD07,
 author       = {Martin Sulzmann and Manuel M. T. Chakravarty and Simon L. Peyton Jones and Kevin Donnelly},
 year         = {2007},
 title        = {System {F} with type equality coercions},
 booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007},
 pages        = {53--66},
 doi          = {10.1145/1190315.1190324},
)
@inproceedings(DBLP:conf/pldi/TarditiMCSHL96a,
 author       = {David Tarditi and J. Gregory Morrisett and Perry Cheng and Christopher A. Stone and Robert Harper and Peter Lee},
 year         = {1996},
 title        = {{TIL:} a type-directed, optimizing compiler for {ML} (with retrospective)},
 booktitle    = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation 1979-1999, {A} Selection},
 pages        = {554--567},
 doi          = {10.1145/989393.989449},
)
@misc(lpw25,
 author       = {Leo White},
 year         = {2015},
 title        = {Remove float array optimisation},
 howpublished = {{\url{https://github.com/ocaml/ocaml/pull/163}}},
)
@inproceedings(DBLP:conf/popl/XiCC03,
 author       = {Hongwei Xi and Chiyan Chen and Gang Chen},
 year         = {2003},
 title        = {Guarded recursive datatype constructors},
 booktitle    = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003},
 pages        = {224--235},
 doi          = {10.1145/640128.604150},
)