dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pierre-Évariste Dagand Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Évariste Dagand, Conor McBride: Transporting Functions across Ornaments CoRR abs/1201.4801: (2012)
2010
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris: The gentle art of levitation. ICFP 2010: 3-14
2009
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak: Opis: reliable distributed systems in OCaml. TLDI 2009: 65-78
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-É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)

Coauthor Index

1Paul Barham (Paul R. Barham) [3]
2Andrew Baumann [1] [3]
3James Chapman [4]
4Timothy L. Harris [3]
5Rebecca Isaacs [3]
6Dejan Kostic [2]
7Viktor Kuncak [2]
8Conor McBride [4] [5]
9Peter Morris [4]
10Simon Peter [3]
11Timothy Roscoe [1] [3]
12Adrian Schüpbach [3]
13Akhilesh Singhania [3]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page