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

Showing results 221 to 240 of 256.
Sorted by year (citations)

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

  1. Delahaye, David: A proof dedicated meta-language (2002)
  2. Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias: DrScheme: A programming environment for scheme (2002)
  3. Fisher, Kathleen; Reppy, John: Inheritance-based subtyping (2002)
  4. Forest, Julien: A weak calculus with explicit operators for pattern matching and substitution (2002)
  5. Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald: Exception analysis for non-strict languages (2002)
  6. Grégoire, Benjamin; Leroy, Xavier: A compiled implementation of strong reduction (2002)
  7. Hains, Gaétan; Loulergue, Frédéric: Functional bulk synchronous parallel programming using the BSMLlib library (2002)
  8. Huet, Gérard: Zen and the art of symbolic computing: Light and fast applicative algorithms for computational linguistics (2002)
  9. Møller, Jesper B.: DDDLIB: A library for solving quantified difference inequalities (2002)
  10. Pierce, Benjamin C.: Types and programing languages (2002)
  11. Prevosto, Virgile; Doligez, Damien: Algorithms and proofs inheritance in the FOC language (2002)
  12. Rémy, Didier: Using, understanding, and unraveling the OCaml language. From practice to theory and vice versa (2002)
  13. Reppy, John: Optimizing nested loops using local CPS conversion (2002)
  14. Sumii, Eijiro; Bannai, Hideo: VM(\lambda): A functional calculus for scientific discovery (2002)
  15. Syme, Don; Gordon, Andrew D.: Automating type soundness proofs via decision procedures and guided reductions (2002)
  16. Wansbrough, Keith; Norrish, Michael; Sewell, Peter; Serjantov, Andrei: Timing UDP: Mechanized semantics for sockets, threads, and failures (2002)
  17. Danvy, Olivier; Grobauer, Bernd; Rhiger, Morten: A unifying approach to goal-directed evaluation (2001)
  18. Hanus, Michael; Huch, Frank; Niederau, Philipp: ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry (2001)
  19. Hardin, T.: Mathematical knowledge management in Foc (2001)
  20. Hicks, Michael; Weirich, Stephanie; Crary, Karl: Safe and flexible dynamic linking of native code (2001)

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