OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
221	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
222	Moscow ML Owner’s Manual Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agricu Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-04-17 07:26:57 Procedural programming languages Functional languages Standard ML Type safety ML Header file Declaration C OCaml Software engineering Computer programming Computing
223	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering Programming language theory Computing
224	Xen And the Art  of OCaml  Anil Madhavapeddy  Senior Architect and Director, Products  Virtualiza?on & Management Division  Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:47 University of Cambridge Computer Laboratory Xen Remote desktop Citrix Systems Hypervisor VHD OCaml Camlp4 Software System software Computing
225	Nullable Type Inference Michel Mauny Benoît Vaugon Unité d’Informatique et d’Ingénierie des Systèmes (U2IS) Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-13 14:55:08 Euclidean plane geometry Golden ratio Symbol
226	Irmin: a Git-like database library Thomas Gazagnaire, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier1 David Scott2 David Sheets and Gregory Tsipenyuk University of Cambridge, University of Nottingham1 , Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-13 11:55:41 Distributed revision control systems Version control Git Project management software OCaml Merge Caml Computer programming Computing Software
227	Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle OCaml 2014 workshop, talk proposal Tom Ridge University of Leicester, UK [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-13 10:08:50 Software engineering Syntax Parser combinator LALR parser Earley parser LL parser Left recursion Compiler-compiler Memoization Formal languages Parsing Programming language implementation
228	Activity Report[removed]Project-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-01-26 04:10:29 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
229	A Simple and Practical Linear Algebra Library Interface with Static Size Checking ∗ Akinori Abe Eijiro Sumii Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-13 08:03:40 Numerical linear algebra Numerical software Matrices LAPACK Basic Linear Algebra Subprograms General Matrix Multiply OCaml Matrix Caml Algebra Linear algebra Mathematics
230	Multicore OCaml Stephen Dolan Leo White Anil Madhavapeddy Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-13 03:06:53 Memory management Garbage collection Data types Immutable object OCaml Thread-local storage Constructor Heap Pointer Computing Software engineering Computer programming

UPDATE