OCaml is the most popular variant of the Caml language. From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval-print loop (ocaml) for quick development and portability. The OCaml distribution includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex) and parser (ocamlyacc) generators, a pre-processor pretty-printer (camlp4) and a documentation generator (ocamldoc)

References in zbMATH (referenced in 255 articles )

Showing results 21 to 40 of 255.
Sorted by year (citations)

previous 1 2 3 4 ... 11 12 13 next

  1. Genet, Thomas: Termination criteria for tree automata completion (2016)
  2. Hans Fangohr, Maximilian Albert, Matteo Franchin: Nmag micromagnetic simulation tool: software engineering lessons learned (2016) not zbMATH
  3. Jaume, Mathieu: Elements of discrete mathematics. Course, solved exercises, implementations with the languages Python and OCaml. With a preface by Gilles Dowek and Thérèse Hardin (2016)
  4. Lesani, Mohsen; Bell, Christian J.; Chlipala, Adam: Chapar: certified causally consistent distributed key-value stores (2016)
  5. Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael: Polyhedral approximation of multivariate polynomials using handelman’s theorem (2016)
  6. McCarthy, Jay; Fetscher, Burke; New, Max; Feltey, Daniel; Findler, Robert Bruce: A Coq library for internal verification of running-times (2016)
  7. Radanne, Gabriel; Vouillon, Jérôme; Balat, Vincent: \textscEliom: a core ML language for tierless web programming (2016)
  8. Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago: Dependent types and multi-monadic effects in (\mathrmF^*) (2016)
  9. Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi: Compact bit encoding schemes for simply-typed lambda-terms (2016)
  10. Charguéraud, Arthur; Pottier, François: Machine-checked verification of the correctness and amortized complexity of an efficient Union-Find implementation (2015)
  11. Danvy, Olivier; Keller, Chantal; Puech, Matthias: Typeful normalization by evaluation (2015)
  12. Delaware, Benjamin; Pit-Claudel, Clément; Gross, Jason; Chlipala, Adam: Fiat: deductive synthesis of abstract data types in a proof assistant (2015)
  13. Garrigue, Jacques: A certified implementation of ML with structural polymorphism and recursive types (2015)
  14. Gaspar, Nuno; Henrio, Ludovic; Madelaine, Eric: Painless support for static and runtime verification of component-based applications (2015)
  15. Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra: Well-founded coalgebras, revisited (2015)
  16. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  17. Montenegro, Manuel; Peña, Ricardo; Sánchez-Hernández, Jaime: A generic intermediate representation for verification condition generation (2015)
  18. Neron, Pierre: A certifying square root and division elimination (2015)
  19. Pavlinovic, Zvonimir; King, Tim; Wies, Thomas: Practical SMT-based type error localization (2015)
  20. Rossberg, Andreas: 1ML -- core and modules united (F-ing first-class modules) (2015)

previous 1 2 3 4 ... 11 12 13 next