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