Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat

First Page		Document Content
Date: 2013-11-18 12:09:12 Functional languages OCaml Caml International Conference on Functional Programming ML Virtual machine Cloud computing Reactive programming International Conference on Architectural Support for Programming Languages and Operating Systems Computing Software engineering Computer programming		Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat Add to Reading List Source URL: thomas.gazagnaire.org Download Document from Source Website File Size: 73,44 KB Share Document on Facebook

	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, DocID: 1v9AG - View Document
	Towards Automatic Resource Bound Analysis for OCaml Ar tifact * Complete DocID: 1uNpP - View Document
	The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon DocID: 1tWs8 - View Document
	MLGMPIDL: OCaml interface for GMP and MPFR libraries (versionAugust 30, 2012 All files distributed in the MLGMPIDL interface are distributed under LGPL license. DocID: 1tPSR - View Document