@article(BenvenisteEtAl:12Years:2003,
 author       = {Albert Benveniste and Paul Caspi and Stephen Edwards and Nicolas Halbwachs and Le Guernic, Paul and Robert de Simone},
 year         = {2003},
 title        = {The Synchronous Languages 12 Years Later},
 journal      = {Proc. {IEEE}},
 volume       = {91},
 number       = {1},
 pages        = {64--83},
 doi          = {10.1109/JPROC.2002.805826},
)
@inproceedings(BourkePou:HSCC:2013,
 author       = {Timothy Bourke and Marc Pouzet},
 year         = {2013},
 title        = {Z{\'{e}}lus: A Synchronous Language with {ODEs}},
 editor       = {Calin Belta and Franjo Ivancic},
 booktitle    = {Proc. 16th Int. Conf. on Hybrid Systems: Computation and Control (HSCC 2013)},
 publisher    = {{ACM Press}},
 address      = {Philadelphia, USA},
 pages        = {113--118},
 doi          = {10.1145/2461328.2461348},
)
@techreport(BromanSie:Modelyze:2012,
 author       = {David Broman and Jeremy G. Siek},
 year         = {2012},
 title        = {Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages},
 type         = {Technical Report},
 number       = {UCB/EECS-2012-173},
 institution  = {University of California, Berkeley},
 address      = {United States},
 url          = {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-173.html},
)
@misc(Bunzli:Bigarrays:2005,
 author       = {Daniel B{\"{u}}nzli},
 year         = {2005},
 title        = {Bigarrays and temporar[y] {C} pointers},
 howpublished = {Caml-list mailing list},
 url          = {http://caml.inria.fr/pub/ml-archives/caml-list/2005/01/ce57c7689f1b7d0fa60514937757d9da.en.html},
)
@book(ChaillouxManPag:ObjCaml:2000b,
 author       = {Emmanuel Chailloux and Pascal Manoury and Bruno Pagano},
 year         = {2000},
 title        = {D\IeC{\'e}veloppement d'applications avec {Objective Caml}},
 publisher    = {{O'Reilly France}},
 url          = {https://caml.inria.fr/pub/docs/oreilly-book/},
)
@article(ChenEtAl:IEEETrans:2015,
 author       = {T. Chen and Q. Guo and O. Temam and Y. Wu and Y. Bao and Z. Xu and Y. Chen},
 year         = {2015},
 title        = {Statistical Performance Comparisons of Computers},
 journal      = {IEEE Transactions on Computers},
 volume       = {64},
 number       = {5},
 pages        = {1442--1455},
 doi          = {10.1109/TC.2014.2315614},
)
@manual(FangohrEtAl:Nmag:2012,
 author       = {Hans Fangohr and Thomas Fischbacher and Matteo Franchin and Giuliano Bordignon and Jacek Generowicz and Andreas Knittel and Michael Walter and Maximilian Albert},
 year         = {2012},
 title        = {{NMAG} User Manual Documentation},
 organization = {University of Southhampton},
 address      = {England},
 url          = {http://nmag.soton.ac.uk/nmag/index.html},
 note         = {Release 0.2.1},
)
@inproceedings(Garrigue:PolyVariants:1998,
 author       = {Jacques Garrigue},
 year         = {1998},
 title        = {Programming with polymorphic variants},
 booktitle    = {The 1998 {ACM} SIGPLAN Workshop on on {ML}},
 organization = {{ACM}},
 address      = {Baltimore, MD, USA},
 url          = {https://caml.inria.fr/pub/papers/garrigue-polymorphic_variants-ml98.pdf},
)
@article(HindmarshEtAl:Sundials:2005,
 author       = {Alan C. Hindmarsh and Peter N. Brown and Keith E. Grant and Steven L. Lee and Radu Serban and Dan E. Shumaker and Carol S. Woodward},
 year         = {2005},
 title        = {{SUNDIALS}: Suite of Nonlinear and Differential/Algebraic Equation Solvers},
 journal      = {{ACM} Trans. Mathematical Software},
 volume       = {31},
 number       = {3},
 pages        = {363--396},
 doi          = {10.1145/1089014.1089020},
)
@manual(Sundials:Cvode:3.1.0,
 author       = {Alan C. Hindmarsh and Radu Serban and Daniel R. Reynolds},
 year         = {2017},
 title        = {User Documentation for {\textsc{cvode}} v3.1.0},
 edition      = {v3.1.0},
 organization = {Lawrence Livermore National Laboratory},
 address      = {Livermore, CA, USA},
 url          = {https://computation.llnl.gov/sites/default/files/public/cv_guide.pdf},
)
@inproceedings(LeijenMei:DomSpecComp:1999,
 author       = {Daan Leijen and Erik Meijer},
 year         = {1999},
 title        = {Domain Specific Embedded Compilers},
 booktitle    = {2nd Conference on Domain-Specific Languages (DSL'99)},
 organization = {{ACM}},
 address      = {Austin, TX, USA},
 pages        = {109--122},
 doi          = {10.1145/331960.331977},
)
@misc(Leroy:Numeric:2002,
 author       = {Xavier Leroy},
 year         = {2002},
 title        = {Writing efficient numerical code in {Objective} {Caml}},
 howpublished = {\url{http://caml.inria.fr/pub/old_caml_site/ocaml/numerical.html}},
)
@book(LeroyEtAl:OCamlMan:2018,
 author       = {Xavier Leroy and Damien Doligez and Alain Frisch and Jacques Garrigue and Didier R{\'{e}}my and J{\'{e}}r{\^{o}}me Vouillon},
 year         = {2018},
 title        = {The {OCaml} system: Documentation and user's manual},
 edition      = {4.07},
 publisher    = {Inria},
 url          = {http://caml.inria.fr/pub/docs/manual-ocaml/},
)
@book(MinskyMadHic:RWOCaml:2013,
 author       = {Yaron Minsky and Anil Madhavapeddy and Jason Hickey},
 year         = {2013},
 title        = {{Real World OCaml}: Functional programming for the masses},
 publisher    = {{O'Reilly}},
 url          = {https://v1.realworldocaml.org},
)
@misc(Monnier:OcamlandC:2013,
 author       = {Florent Monnier},
 year         = {2013},
 title        = {How to mix {OCaml} and {C} code},
 howpublished = {Web page},
 url          = {https://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.html},
)
@inproceedings(NethercoteSew:Valgrind:2007,
 author       = {Nicholas Nethercote and Julian Seward},
 year         = {2007},
 title        = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
 booktitle    = {Proc. 2007 {ACM} SIGPLAN Conf. on Programming Language Design and Implementation},
 publisher    = {{ACM Press}},
 address      = {San Diego, CA, USA},
 pages        = {89--100},
 doi          = {10.1145/1273442.1250746},
)