@unpublished(ocaml-effects,
 author       = {Stephen Dolan and Leo White and {KC} Sivaramakrishnan and Jeremy Yallop and Anil Madhavapeddy},
 year         = {2015},
 title        = {Effective Concurrency through Algebraic Effects},
 note         = {OCaml Users and Developers Workshop 2015},
)
@phdthesis(dreyer-phd,
 author       = {Derek Dreyer},
 year         = {2005},
 title        = {Understanding and Evolving the ML Module System},
 school       = {CMU},
 note         = {Published as technical report CMU-CS-05-131},
)
@article(expressive-power,
 author       = {Matthias Felleisen},
 year         = {1991},
 title        = {On the expressive power of programming languages},
 journal      = {Science of Computer Programming},
 volume       = {17},
 number       = {1},
 pages        = {35 -- 75},
 doi          = {10.1016/0167-6423(91)90036-W},
)
@misc(gpr-638,
 author       = {Alain Frisch},
 year         = {2016},
 title        = {Pull request: Turn local exceptions into jumps},
 howpublished = {\url{https://github.com/ocaml/ocaml/pull/638}},
)
@unpublished(destructive-substitution,
 author       = {Alain Frisch and Jacques Garrigue},
 year         = {2010},
 title        = {First-class modules and composable signatures in Objective Caml 3.12},
 note         = {ACM SIGPLAN Workshop on ML, Baltimore, MD},
)
@inproceedings(gadts-ocaml,
 author       = {Jacques Garrigue and Didier R{\'e}my},
 year         = {2013},
 title        = {Ambivalent Types for Principal Type Inference with GADTs},
 editor       = {Chung-chieh Shan},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {257--272},
 doi          = {10.1007/978-3-319-03542-0_19},
)
@misc(exceptions-are-shared-secrets,
 author       = {Robert Harper},
 year         = {2012},
 title        = {Exceptions are shared secrets},
 howpublished = {\url{https://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/}},
)
@inproceedings(harper-lillibridge,
 author       = {Robert Harper and Mark Lillibridge},
 year         = {1994},
 title        = {A Type-theoretic Approach to Higher-order Modules with Sharing},
 booktitle    = {Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '94},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {123--137},
 doi          = {10.1145/174675.176927},
)
@book(sml90,
 author       = {Robert Harper and Robin Milner and Mads Tofte},
 year         = {1990},
 title        = {The {D}efinition of {S}tandard {ML}},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@inproceedings(leroy-applicative,
 author       = {Xavier Leroy},
 year         = {1995},
 title        = {Applicative Functors and Fully Transparent Higher-order Modules},
 booktitle    = {Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '95},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {142--153},
 doi          = {10.1145/199448.199476},
)
@article(Leroy-modular-modules,
 author       = {Xavier Leroy},
 year         = {2000},
 title        = {A modular module system},
 journal      = {Journal of Functional Programming},
 volume       = {10},
 number       = {3},
 pages        = {269--303},
 doi          = {10.1017/S0956796800003683},
)
@unpublished(extending-ocamls-open-workshop,
 author       = {Runhang Li and Jeremy Yallop},
 year         = {2017},
 title        = {Extending OCaml's \texttt{open}},
 note         = {OCaml Users and Developers Workshop},
)
@book(sml97,
 author       = {Robin Milner and Mads Tofte and David Macqueen},
 year         = {1997},
 title        = {The {D}efinition of {S}tandard {ML} (Revised)},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
 doi          = {10.7551/mitpress/2319.001.0001},
)
@manual(moscowml,
 author       = {Sergei Romanenko and Claudio Russo and Peter Sestoft},
 year         = {2000},
 title        = {Moscow ML Language Overview},
 edition      = {version 2.00},
 url          = {http://mosml.org/mosmlref.pdf},
)
@inproceedings(lwt,
 author       = {J{\'e}r\^{o}me Vouillon},
 year         = {2008},
 title        = {Lwt: A Cooperative Thread Library},
 booktitle    = {Proceedings of the 2008 ACM SIGPLAN Workshop on ML},
 series       = {ML '08},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {3--12},
 doi          = {10.1145/1411304.1411307},
)
@article(js-of-ocaml,
 author       = {J{\'e}r{\^o}me Vouillon and Vincent Balat},
 year         = {2013},
 title        = {{From Bytecode to JavaScript: the Js\_of\_ocaml Compiler}},
 journal      = {Software: Practice and Experience},
 doi          = {10.1002/spe.2187},
)
@unpublished(ppx,
 author       = {Leo White},
 year         = {2013},
 title        = {{Extension Points for OCaml}},
 note         = {OCaml Users and Developers Workshop},
)
@inproceedings(deriving,
 author       = {Jeremy Yallop},
 year         = {2007},
 title        = {Practical Generic Programming in OCaml},
 booktitle    = {Proceedings of the 2007 Workshop on Workshop on ML},
 series       = {ML '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {83--94},
 doi          = {10.1145/1292535.1292548},
)