Back to Results
First PageMeta Content
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

Document Date: 2013-11-18 12:09:12

Open Document

File Size: 73,44 KB

Share Result on Facebook

City

Cambridge / /

Company

Mysql / OCaml Labs / Computer Laboratory / /

Country

United Kingdom / /

/

Facility

Computer Laboratory / /

IndustryTerm

library operating systems / /

OperatingSystem

Linux / /

Person

Balraj Singh / Sebastian Burckhardt / Daan Leijen / Steven Smith / Jon Crowcroft / Steven Hand / Thomas Gazagnaire / David Scott / Paul Hudak / Conal Elliott / Anil Madhavapeddy / Richard Mortier / /

ProgrammingLanguage

PHP / /

Technology

Functional Programming / operating system / animation / operating systems / writing a full operating system / /

URL

http /

SocialTag