OCaml

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 247 articles )

Showing results 1 to 20 of 247.
Sorted by year (citations)

1 2 3 ... 11 12 13 next

  1. Castagna, Giuseppe (ed.); Gordon, Andrew D. (ed.): Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15--21, 2017 (2017)
  2. Ferreira, Francisco; Pientka, Brigitte: Programs using syntax with first-class binders (2017)
  3. Guéneau, Armaël; Myreen, Magnus O.; Kumar, Ramana; Norrish, Michael: Verified characteristic formulae for CakeML (2017)
  4. Hoffmann, Jan; Das, Ankush; Weng, Shu-Chun: Towards automatic resource bound analysis for OCaml (2017)
  5. Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra: CoCaml: functional programming with regular coinductive types (2017)
  6. Kiselyov, Oleg; Biboudis, Aggelos; Palladinos, Nick; Smaragdakis, Yannis: Stream fusion, to completeness (2017)
  7. Magron, Victor; Constantinides, George; Donaldson, Alastair: Certified roundoff error bounds using semidefinite programming (2017)
  8. Padovani, Luca: Context-free session type inference (2017)
  9. Ahmad Hosney Awad Eid: Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application (2016) arXiv
  10. Blot, Arthur; Dagand, Pierre-Évariste; Lawall, Julia: From sets to bits in Coq (2016)
  11. Castagna, Giuseppe; Petrucciani, Tommaso; Nguyen, Kim: Set-theoretic types for polymorphic variants (2016)
  12. Clerc, Xavier: OCaml-Java: the Java virtual machine as the target of an OCaml compiler (2016)
  13. Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric: Partial type equivalences for verified dependent interoperability (2016)
  14. Dubois, Catherine; Pessaux, François: Termination proofs for recursive functions in FoCaLiZe (2016)
  15. Genet, Thomas: Termination criteria for tree automata completion (2016)
  16. Hans Fangohr, Maximilian Albert, Matteo Franchin: Nmag micromagnetic simulation tool: software engineering lessons learned (2016)
  17. 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)
  18. Lesani, Mohsen; Bell, Christian J.; Chlipala, Adam: Chapar: certified causally consistent distributed key-value stores (2016)
  19. Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael: Polyhedral approximation of multivariate polynomials using handelman’s theorem (2016)
  20. McCarthy, Jay; Fetscher, Burke; New, Max; Feltey, Daniel; Findler, Robert Bruce: A Coq library for internal verification of running-times (2016)

1 2 3 ... 11 12 13 next