References

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 https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-173.html.
4. Daniel Bünzli (2005): Bigarrays and temporar[y] C pointers. Caml-list mailing list. Available at http://caml.inria.fr/pub/ml-archives/caml-list/2005/01/ce57c7689f1b7d0fa60514937757d9da.en.html.
5. Emmanuel Chailloux, Pascal Manoury & Bruno Pagano (2000): Développement d'applications avec Objective Caml. O'Reilly France. Available at https://caml.inria.fr/pub/docs/oreilly-book/.
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 http://nmag.soton.ac.uk/nmag/index.html. 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 https://caml.inria.fr/pub/papers/garrigue-polymorphic_variants-ml98.pdf.
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 https://computation.llnl.gov/sites/default/files/public/cv_guide.pdf.
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. http://caml.inria.fr/pub/old_caml_site/ocaml/numerical.html.
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 http://caml.inria.fr/pub/docs/manual-ocaml/.
14. Yaron Minsky, Anil Madhavapeddy & Jason Hickey (2013): Real World OCaml: Functional programming for the masses. O'Reilly. Available at https://v1.realworldocaml.org.
15. Florent Monnier (2013): How to mix OCaml and C code. Web page. Available at https://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.html.
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: eptcs@eptcs.org

For website issues: webmaster@eptcs.org