Search results for "Derek Dreyer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis	The marriage of bisimulations and Kripke logical relations.	POPL	2012	DBLP DOI BibTeX RDF
1	Derek Dreyer, Amal Ahmed, Lars Birkedal	Logical Step-Indexed Logical Relations	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
1	Chung-Kil Hur, Derek Dreyer	A kripke logical relation between ML and assembly.	POPL	2011	DBLP DOI BibTeX RDF
1	Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer	How to make ad hoc proof automation less ad hoc.	ICFP	2011	DBLP DOI BibTeX RDF
1	Stephanie Weirich, Derek Dreyer (eds.)	Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011	TLDI	2011	DBLP BibTeX RDF
1	Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis	Separation Logic in the Presence of Garbage Collection.	LICS	2011	DBLP DOI BibTeX RDF
1	Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal	A relational modal logic for higher-order stateful ADTs.	POPL	2010	DBLP DOI BibTeX RDF	local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
1	Derek Dreyer, Georg Neis, Lars Birkedal	The impact of higher-order state and control effects on local relational reasoning.	ICFP	2010	DBLP DOI BibTeX RDF
1	Andreas Rossberg, Claudio V. Russo, Derek Dreyer	F-ing modules.	TLDI	2010	DBLP DOI BibTeX RDF	first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
1	Amal Ahmed, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
1	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	ICFP	2009	DBLP DOI BibTeX RDF	intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
1	Derek Dreyer, Amal Ahmed, Lars Birkedal	Logical Step-Indexed Logical Relations.	LICS	2009	DBLP DOI BibTeX RDF
1	Derek Dreyer, Andreas Rossberg	Mixin' up the ML module system.	ICFP	2008	DBLP DOI BibTeX RDF	ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules
1	Derek Dreyer	Recursive type generativity.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
1	Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
1	Claudio V. Russo, Derek Dreyer (eds.)	Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007	ML	2007	DBLP BibTeX RDF
1	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
1	Derek Dreyer, Matthias Blume	Principal Type Schemes for Modular Programs.	ESOP	2007	DBLP DOI BibTeX RDF
1	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
1	Derek Dreyer	A type system for well-founded recursion.	POPL	2004	DBLP DOI BibTeX RDF	yype systems, recursion, effect systems, recursive modules
1	Derek Dreyer, Karl Crary, Robert Harper	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
1	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions

Publications of "Derek Dreyer" ( http://dblp.L3S.de/Authors/Derek_Dreyer )