 | 2012 |
| 5 |  | Pierre-Évariste Dagand,
Conor McBride:
Transporting Functions across Ornaments
CoRR abs/1201.4801: (2012) |
| 2010 |
| 4 |  | James Chapman,
Pierre-Évariste Dagand,
Conor McBride,
Peter Morris:
The gentle art of levitation.
ICFP 2010: 3-14 |
| 2009 |
| 3 |  | Andrew Baumann,
Paul Barham,
Pierre-Évariste Dagand,
Timothy L. Harris,
Rebecca Isaacs,
Simon Peter,
Timothy Roscoe,
Adrian Schüpbach,
Akhilesh Singhania:
The multikernel: a new OS architecture for scalable multicore systems.
SOSP 2009: 29-44 |
| 2 |  | Pierre-Évariste Dagand,
Dejan Kostic,
Viktor Kuncak:
Opis: reliable distributed systems in OCaml.
TLDI 2009: 65-78 |
| 1 |  | Pierre-Évariste Dagand,
Andrew Baumann,
Timothy Roscoe:
Filet-o-fish: practical and dependable domain-specific languages for OS development.
Operating Systems Review 43(4): 35-39 (2009) |