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
64–83
10.1109/JPROC.2002.805826
Timothy Bourke
Marc Pouzet
2013
Zélus: A Synchronous Language with ODEs
Calin Belta
Franjo Ivancic
Proc. 16th Int. Conf. on Hybrid Systems: Computation and Control (HSCC 2013)
ACM Press
Philadelphia, USA
113–118
10.1145/2461328.2461348
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
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-173.html
Daniel Bünzli
2005
Bigarrays and temporar[y] C pointers
Caml-list mailing list
http://caml.inria.fr/pub/ml-archives/caml-list/2005/01/ce57c7689f1b7d0fa60514937757d9da.en.html
Emmanuel Chailloux
Pascal Manoury
Bruno Pagano
2000
Développement d'applications avec Objective Caml
O'Reilly France
https://caml.inria.fr/pub/docs/oreilly-book/
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
1442–1455
10.1109/TC.2014.2315614
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
http://nmag.soton.ac.uk/nmag/index.html
Release 0.2.1
Jacques Garrigue
1998
Programming with polymorphic variants
The 1998 ACM SIGPLAN Workshop on on ML
ACM
Baltimore, MD, USA
https://caml.inria.fr/pub/papers/garrigue-polymorphic_variants-ml98.pdf
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
363–396
10.1145/1089014.1089020
Alan C. Hindmarsh
Radu Serban
Daniel R. Reynolds
2017
User Documentation for cvode v3.1.0
v3.1.0
Lawrence Livermore National Laboratory
Livermore, CA, USA
https://computation.llnl.gov/sites/default/files/public/cv_guide.pdf
Daan Leijen
Erik Meijer
1999
Domain Specific Embedded Compilers
2nd Conference on Domain-Specific Languages (DSL'99)
ACM
Austin, TX, USA
109–122
10.1145/331960.331977
Xavier Leroy
2002
Writing efficient numerical code in Objective Caml
http://caml.inria.fr/pub/old_caml_site/ocaml/numerical.html
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
Inria
http://caml.inria.fr/pub/docs/manual-ocaml/
Yaron Minsky
Anil Madhavapeddy
Jason Hickey
2013
Real World OCaml: Functional programming for the masses
O'Reilly
https://v1.realworldocaml.org
Florent Monnier
2013
How to mix OCaml and C code
Web page
https://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.html
Nicholas Nethercote
Julian Seward
2007
Valgrind: a framework for heavyweight dynamic binary instrumentation
Proc. 2007 ACM SIGPLAN Conf. on Programming Language Design and Implementation
ACM Press
San Diego, CA, USA
89–100
10.1145/1273442.1250746