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

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

1 2 3 ... 6 7 8 next

  1. Hoffmann, Jan; Das, Ankush; Weng, Shu-Chun: Towards automatic resource bound analysis for OCaml (2017)
  2. Kiselyov, Oleg; Biboudis, Aggelos; Palladinos, Nick; Smaragdakis, Yannis: Stream fusion, to completeness (2017)
  3. Padovani, Luca: Context-free session type inference (2017)
  4. Ahmad Hosney Awad Eid: Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application (2016) arXiv
  5. Blot, Arthur; Dagand, Pierre-Évariste; Lawall, Julia: From sets to bits in Coq (2016)
  6. Castagna, Giuseppe; Petrucciani, Tommaso; Nguyen, Kim: Set-theoretic types for polymorphic variants (2016)
  7. Genet, Thomas: Termination criteria for tree automata completion (2016)
  8. Radanne, Gabriel; Vouillon, Jér^ome; Balat, Vincent: Eliom: a core ML language for tierless web programming (2016)
  9. Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi: Compact bit encoding schemes for simply-typed lambda-terms (2016)
  10. Gaspar, Nuno; Henrio, Ludovic; Madelaine, Eric: Painless support for static and runtime verification of component-based applications (2015)
  11. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  12. Montenegro, Manuel; Peña, Ricardo; Sánchez-Hernández, Jaime: A generic intermediate representation for verification condition generation (2015)
  13. Rossberg, Andreas: 1ML -- core and modules united (F-ing first-class modules) (2015)
  14. Barkati, Karim; Wang, Haisheng; Jouvelot, Pierre: Faustine: a vector faust interpreter test bed for multimedia signal processing. System description (2014)
  15. Bodin, Martin; Chargueraud, Arthur; Filaretti, Daniele; Gardner, Philippa; Maffeis, Sergio; Naudziuniene, Daiva; Schmitt, Alan; Smith, Gareth: A trusted mechanised JavaSript specification (2014)
  16. Colvin, Robert J.: An operational semantics for object-oriented concepts based on the class hierarchy (2014)
  17. Kiselyov, Oleg: The design and implementation of BER metaocaml. System description (2014)
  18. Kuwahara, Takuya; Terauchi, Tachio; Unno, Hiroshi; Kobayashi, Naoki: Automatic termination verification for higher-order functional programs (2014)
  19. Miller, Andrew; Hicks, Michael; Katz, Jonathan; Shi, Elaine: Authenticated data structures, generically (2014)
  20. Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter: Lem: reusable engineering of real-world semantics (2014)

1 2 3 ... 6 7 8 next