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 201 to 220 of 255.
Sorted by year (citations)

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

  1. Filliâtre, Jean-Christophe; Letouzey, Pierre: Functors for proofs and programs (2004)
  2. Hickey, Jason; Nogin, Aleksey: Extensible hierarchical tactic construction in a logical framework (2004)
  3. Jojgov, G. I.; Geuvers, H.: A calculus of tactics and its operational semantics (2004)
  4. Kreitz, Christoph: Building reliable, high-performance networks with the Nuprl proof development system (2004)
  5. Loulergue, Frédéric: Communication primitives for minimally synchronous parallel ML (2004)
  6. Filliâtre, Jean-Christophe; Pottier, François: Producing all ideals of a forest, functionally (2003)
  7. Gava, Frédéric; Loulergue, Frédéric: A parallel virtual machine for bulk synchronous parallel ML (2003)
  8. Hosoya, Haruo; Pierce, Benjamin C.: Regular expression pattern matching for XML (2003)
  9. Huet, Gérard: Automata mista (2003)
  10. Löh, Andres; Clarke, Dave; Jeuring, Johan: Dependency-style generic Haskell (2003)
  11. Scholz, Sven-Bodo: Single assignment C: efficient support for high-level array operations in a functional setting (2003)
  12. Sumii, Eijiro; Bannai, Hideo: The extension of ML with hypothetical views for discovery science: Formalization and implementation (2003)
  13. Agbaria, Adnan; Friedman, Roy: Virtual-machine-based heterogeneous checkpointing (2002)
  14. Barthe, Gilles; Coquand, Thierry: An introduction to dependent type theory (2002)
  15. Barthe, Gilles (ed.); Dybjer, Peter (ed.); Pinto, Luís (ed.); Saraiva, João (ed.): Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9--15, 2000. Advanced lectures (2002)
  16. Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele: Formalizing properties of mobile agent systems (2002)
  17. Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software (2002)
  18. Cousineau, Guy: Tilings as a programming exercise. (2002)
  19. Danvy, Olivier; Grobauer, Bernd; Rhiger, Morten: A unifying approach to goal-directed evaluation (2002)
  20. Delahaye, David: A proof dedicated meta-language (2002)

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