|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pierre-Évariste Dagand, Conor McBride |
Transporting Functions across Ornaments  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris |
The gentle art of levitation. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe |
Filet-o-fish: practical and dependable domain-specific languages for OS development. |
Operating Systems Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
scalability, message passing, multicore processors |
| 1 | Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak |
Opis: reliable distributed systems in OCaml. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, functional programming, arrows |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")