OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
191	The Next Stage of Staging Jun Inoue1 , Oleg Kiselyov2 , Yukiyoshi Kameyama3Tohoku University Add to Reading List Source URL: okmij.org Language: English - Date: 2015-03-12 05:21:23 Type theory Data types Procedural programming languages Functional languages C++ Type system ALGOL 68 OCaml C++ classes Software engineering Computing Programming language theory
192	DynaMoW User’s Manual (for DynaMoW releaseFrédéric Chyzak and Alexis Darrasse September 9, 2011 Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-09-09 05:21:24 Functional languages Procedural programming languages Data types Type theory OCaml Caml Foreach loop ML Type system Computing Software engineering Programming language theory
193	Turning Down the LAMP: Software Specialisation for the Cloud Anil Madhavapeddy1 , Richard Mortier2 , Ripduman Sohan1 , Thomas Gazagnaire3 Steven Hand1 , Tim Deegan3 , Derek McAuley2 and Jon Crowcroft1 University of Cambr Add to Reading List Source URL: www.tjd.phlegethon.org Language: English - Date: 2010-05-27 09:24:29 Virtual machines University of Cambridge Computer Laboratory Xen OCaml Kernel Ring Hyper-V Hypervisor Linux kernel System software Software Computing
194	Unikernels: Library Operating Systems for the Cloud Anil Madhavapeddy, Richard Mortier1 , Charalampos Rotsos, David Scott2 , Balraj Singh, Thomas Gazagnaire3 , Steven Smith, Steven Hand and Jon Crowcroft University of Ca Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2013-09-29 14:14:19 Virtual machines University of Cambridge Computer Laboratory Xen Hyper-V Hypervisor NetBSD OCaml Paravirtualization Operating system System software Software Computing
195	Typed Compilation Against Non-Manifest Base Classes Christopher League Stefan Monnier Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Object-oriented programming Type theory Data types Programming paradigms Functional languages Dynamic dispatch Type system OCaml Mixin Software engineering Computer programming Computing
196	On variance, injectivity, and abstraction Jacques Garrigue Nagoya University Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-21 22:43:59 Probability theory Variance Covariance and contravariance Parameter Statistics Data analysis Mathematics
197	Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-10-30 02:04:09 Theoretical computer science Coq Mathematical logic Logic in computer science Proof assistant OCaml Formal verification Coenzyme Q10 Parallel computing Software Computing Functional languages
198	MetaOCaml Server Pages: Web Publishing as Staged Computation Christopher League Long Island University · Computer Science 1 University Plaza · Brooklyn, NY 11201 Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Procedural programming languages World Wide Web Scripting languages HTML Java Comment OCaml Web server Printf format string Computing Software Cross-platform software
199	Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-06-30 10:10:16 Functional languages OCaml Camlp4 Caml Ocsigen Arbitrary-precision arithmetic Sage Maple Symbolic computation Software Computing Mathematical software
200	22 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages OCaml Caml ML Functional programming Preprocessor Coq Strong typing Haskell Software engineering Computing Computer programming

UPDATE