1. Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic & Robert de Simone (2003): The Synchronous Languages 12 Years Later. Proc. IEEE 91(1), pp. 64–83, doi:10.1109/JPROC.2002.805826.
  2. Timothy Bourke & Marc Pouzet (2013): Zélus: A Synchronous Language with ODEs. In: Calin Belta & Franjo Ivancic: Proc. 16th Int. Conf. on Hybrid Systems: Computation and Control (HSCC 2013). ACM Press, Philadelphia, USA, pp. 113–118, doi:10.1145/2461328.2461348.
  3. David Broman & Jeremy G. Siek (2012): Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages. Technical Report UCB/EECS-2012-173. University of California, Berkeley, United States. Available at
  4. Daniel Bünzli (2005): Bigarrays and temporar[y] C pointers. Caml-list mailing list. Available at
  5. Emmanuel Chailloux, Pascal Manoury & Bruno Pagano (2000): Développement d'applications avec Objective Caml. O'Reilly France. Available at
  6. T. Chen, Q. Guo, O. Temam, Y. Wu, Y. Bao, Z. Xu & Y. Chen (2015): Statistical Performance Comparisons of Computers. IEEE Transactions on Computers 64(5), pp. 1442–1455, doi:10.1109/TC.2014.2315614.
  7. Hans Fangohr, Thomas Fischbacher, Matteo Franchin, Giuliano Bordignon, Jacek Generowicz, Andreas Knittel, Michael Walter & Maximilian Albert (2012): NMAG User Manual Documentation. University of Southhampton, England. Available at Release 0.2.1.
  8. Jacques Garrigue (1998): Programming with polymorphic variants. In: The 1998 ACM SIGPLAN Workshop on on ML. ACM, Baltimore, MD, USA. Available at
  9. Alan C. Hindmarsh, Peter N. Brown, Keith E. Grant, Steven L. Lee, Radu Serban, Dan E. Shumaker & Carol S. Woodward (2005): SUNDIALS: Suite of Nonlinear and Differential/Algebraic Equation Solvers. ACM Trans. Mathematical Software 31(3), pp. 363–396, doi:10.1145/1089014.1089020.
  10. Alan C. Hindmarsh, Radu Serban & Daniel R. Reynolds (2017): User Documentation for cvode v3.1.0, v3.1.0 edition. Lawrence Livermore National Laboratory, Livermore, CA, USA. Available at
  11. Daan Leijen & Erik Meijer (1999): Domain Specific Embedded Compilers. In: 2nd Conference on Domain-Specific Languages (DSL'99). ACM, Austin, TX, USA, pp. 109–122, doi:10.1145/331960.331977.
  12. Xavier Leroy (2002): Writing efficient numerical code in Objective Caml.
  13. Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon (2018): The OCaml system: Documentation and user's manual, 4.07 edition. Inria. Available at
  14. Yaron Minsky, Anil Madhavapeddy & Jason Hickey (2013): Real World OCaml: Functional programming for the masses. O'Reilly. Available at
  15. Florent Monnier (2013): How to mix OCaml and C code. Web page. Available at
  16. Nicholas Nethercote & Julian Seward (2007): Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proc. 2007 ACM SIGPLAN Conf. on Programming Language Design and Implementation. ACM Press, San Diego, CA, USA, pp. 89–100, doi:10.1145/1273442.1250746.

Comments and questions to:
For website issues: