Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop & Anil Madhavapeddy (2015):
Effective Concurrency through Algebraic Effects.
OCaml Users and Developers Workshop 2015.
Derek Dreyer (2005):
Understanding and Evolving the ML Module System.
CMU.
Published as technical report CMU-CS-05-131.
Matthias Felleisen (1991):
On the expressive power of programming languages.
Science of Computer Programming 17(1),
pp. 35 – 75,
doi:10.1016/0167-6423(91)90036-W.
Alain Frisch (2016):
Pull request: Turn local exceptions into jumps.
https://github.com/ocaml/ocaml/pull/638.
Alain Frisch & Jacques Garrigue (2010):
First-class modules and composable signatures in Objective Caml 3.12.
ACM SIGPLAN Workshop on ML, Baltimore, MD.
Jacques Garrigue & Didier Rémy (2013):
Ambivalent Types for Principal Type Inference with GADTs.
In: Chung-chieh Shan: Programming Languages and Systems.
Springer International Publishing,
Cham,
pp. 257–272,
doi:10.1007/978-3-319-03542-0_19.
Robert Harper (2012):
Exceptions are shared secrets.
https://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/.
Robert Harper & Mark Lillibridge (1994):
A Type-theoretic Approach to Higher-order Modules with Sharing.
In: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '94.
ACM,
New York, NY, USA,
pp. 123–137,
doi:10.1145/174675.176927.
Robert Harper, Robin Milner & Mads Tofte (1990):
The Definition of Standard ML.
MIT Press,
Cambridge, MA, USA.
Xavier Leroy (1995):
Applicative Functors and Fully Transparent Higher-order Modules.
In: Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '95.
ACM,
New York, NY, USA,
pp. 142–153,
doi:10.1145/199448.199476.
Xavier Leroy (2000):
A modular module system.
Journal of Functional Programming 10(3),
pp. 269–303,
doi:10.1017/S0956796800003683.
Runhang Li & Jeremy Yallop (2017):
Extending OCaml's open.
OCaml Users and Developers Workshop.
Robin Milner, Mads Tofte & David Macqueen (1997):
The Definition of Standard ML (Revised).
MIT Press,
Cambridge, MA, USA,
doi:10.7551/mitpress/2319.001.0001.
Sergei Romanenko, Claudio Russo & Peter Sestoft (2000):
Moscow ML Language Overview,
version 2.00 edition.
Available at http://mosml.org/mosmlref.pdf.
Jérôme Vouillon (2008):
Lwt: A Cooperative Thread Library.
In: Proceedings of the 2008 ACM SIGPLAN Workshop on ML,
ML '08.
ACM,
New York, NY, USA,
pp. 3–12,
doi:10.1145/1411304.1411307.
Jérôme Vouillon & Vincent Balat (2013):
From Bytecode to JavaScript: the Js_of_ocaml Compiler.
Software: Practice and Experience,
doi:10.1002/spe.2187.
Leo White (2013):
Extension Points for OCaml.
OCaml Users and Developers Workshop.
Jeremy Yallop (2007):
Practical Generic Programming in OCaml.
In: Proceedings of the 2007 Workshop on Workshop on ML,
ML '07.
ACM,
New York, NY, USA,
pp. 83–94,
doi:10.1145/1292535.1292548.
eptcs@eptcs.org