OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
121	Dragon kit - language oriented compiler framework (shorter abstract) Wojciech MeyerMon Contents Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:00 Compilers Virtual machines Mono project LLVM OCaml Compiler Intermediate language Mono Caml Software Computing Compiler construction
122	Biocaml The OCaml Bioinformatics Library Ashish Agarwal, Sebastien Mondet, Philippe Veber, Christophe Troestler, Francois Berenger OCaml Users and Developers Meeting Add to Reading List Source URL: oud.ocaml.org - Date: 2012-09-26 17:36:01
123	David A. Noblet California Institute of Technology 1200 E California Blvd MCPasadena, CAUSA Add to Reading List Source URL: davidnoblet.com Language: English - Date: 2008-01-22 19:11:23 Distributed data storage JXTA Java platform University of New Hampshire Computer science Distributed computing OCaml Computing Software Computer programming
124	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:37 Functional languages Type theory Procedural programming languages Theoretical computer science Logic in computer science OCaml Type system Coq ML Software engineering Computing Programming language theory
125	Arakoon: A distributed consistent key-value store Romain Slootmaekers Nicolas Trangez July 17, 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:01:57 Computer storage Data synchronization Replication Database B-tree Computer cluster Distributed hash table OCaml Computing Fault-tolerant computer systems Database management systems
126	Zero Install Decentralised cross-platform package management Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-05-28 14:46:37 Software distribution Archive formats Dpkg Ubuntu Zero Install RPM Package Manager Advanced Packaging Tool Debian ZYpp Software System software Cross-platform software
127	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
128	An LLVM Backend for OCaml Colin Benner June 7, Introduction As part of my bachelor thesis I have implemented a new backend for the OCaml nativecode compiler ocamlopt for the AMD64 architecture. It uses the Low Lev Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:14 Compilers Compiler construction Functional languages Procedural programming languages LLVM Programming language implementation OCaml Compiler Static single assignment form Software engineering Computing Computer programming
129	Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 09:34:19 Functional languages OCaml National Institute for Research in Computer Science and Control Caml Principles of Programming Languages Coq Scherer Rocquencourt Subtype polymorphism Software engineering Computing Computer programming
130	OCamlPro OCaml Workshop 2012 Promoting OCaml in the Industry Fabrice LE FESSANT Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:00 Functional languages OCaml Caml National Institute for Research in Computer Science and Control Emacs ML ATS Software Computing Computer programming