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

	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
	Developing Applications With Objective Caml Emmanuel Chailloux Pascal Manoury Bruno Pagano DocID: 1tTRg - 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: 1tJqs - View Document
	Caml Trader: Adventures of a functional programmer on Wall Street Yaron M. Minsky Managing Director DocID: 1sWdt - View Document