Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Pierre-Évariste
Last name:	Dagand
DBLP:	50/3978
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits. Fully abstract compilation to JavaScript.	The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 2013	(0)	2013
	Conference paper Pierre-Évariste Dagand, Conor McBride. Transporting functions across ornaments.	ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012 2012	(0)	2012
	Conference paper Pierre-Évariste Dagand, Conor McBride. Transporting Functions across Ornaments	CoRR 2012, Volume 0	(0)	2012
	Journal article Pierre-Évariste Dagand, Conor McBride. Elaborating Inductive Definitions	CoRR 2012, Volume 0	(0)	2012
	Journal article Pierre-Évariste Dagand, Conor McBride. A Categorical Treatment of Ornaments	CoRR 2012, Volume 0	(0)	2012
	Conference paper James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris. The gentle art of levitation.	Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 2010	(0)	2010
	Conference paper 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.	Proceedings of the 22nd ACM symposium on Operating systems principles, Big Sky, MO, USA, ACM Press, October 2009.	(0)	2009
	Conference paper Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak. Opis: reliable distributed systems in OCaml.	Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 2009	(0)	2009
	Journal article Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe. Filet-o-fish: practical and dependable domain-specific languages for OS development.	Proceedings of the 5th Workshop on Programming Languages and Operating Systems (PLOS), Big Sky, MT, USA, ACM Press, October 2009.	(0)	2009

Show item 1 to 9 of 9  

Your query returned 9 matches in the database.