OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
111	The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:35:59 Functional languages OCaml Control flow Procedural programming languages Caml Generalized algebraic data type Eval ML Expr Computing Software engineering Computer programming
112	Programming the Xen Cloud using OCaml David Scott, Anil Madhavapeddy and Richard Mortier The Xen Cloud Platform (XCP)1 is an open-source software distribution that converts clusters of physical computers into many virtua Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:11:40 Virtual machines University of Cambridge Computer Laboratory Xen OCaml Camlp4 Hypervisor Hyper-V Microkernel Extended Copy Protection System software Software Computing
113	The Ocsigen-Project The State of the Art, and the Prospects Benedikt Becker Vincent Balat Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:54:07 Web application frameworks Ocsigen Client–server model Server Client X Window System IBM Lotus Notes Software Computing System software
114	An LLVM backend for OCaml Colin Benner University of Siegen September 14, 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages Programming language implementation Compiler construction OCaml Subroutines Lambda calculus LLVM Preprocessor ML Software engineering Computing Computer programming
115	gloc : Metaprogramming WebGL Shaders with OCaml David William Wallace Sheets, Ashima Arts June 7, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:11:48 Cross-platform software OpenGL Functional languages Application programming interfaces Web development OCaml WebGL Preprocessor Caml Computing Software Computer programming
116	Implementing an interval computation library for OCaml on x86/AMD64 architectures J-M. Alliot J-B. Gotteland Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:41:27 Numerical analysis OCaml Computer arithmetic Interval arithmetic Caml Interval Computing Software engineering Computer programming
117	Ocsigen/Eliom: The state of the art, and the prospects Benedikt Becker Vincent Balat IRILL A framework for a modern development of web applications should contain a large Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:14 Ocsigen Client–server model Client Session XRX Application server Web application frameworks Software Computing
118	Mˆeler combinateurs, continuations et EBNF pour une analyse syntaxique efficace en OCaml Rodolphe Lepigre et Christophe Raffalli LAMA, UMR 5127 CNRS, Universit´e Savoie Mont BlancLe Bourget-du-Lac CEDEX, France Add to Reading List Source URL: lepigre.fr Language: French - Date: 2014-10-13 07:30:36
119	OCamlCC – Raising low-level bytecode to high-level C Michel Mauny Benoît Vaugon ENSTA-ParisTech Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:01:54 Functional languages Compilers Compiler construction OCaml Bytecode Caml Interpreter LLVM ML Software Computing Programming language implementation
120	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory