Derek Dreyer

	2012
23		Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis: The marriage of bisimulations and Kripke logical relations. POPL 2012: 59-72
	2011
22		Stephanie Weirich, Derek Dreyer: Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011 ACM 2011
21		Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer: How to make ad hoc proof automation less ad hoc. ICFP 2011: 163-175
20		Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis: Separation Logic in the Presence of Garbage Collection. LICS 2011: 247-256
19		Chung-Kil Hur, Derek Dreyer: A kripke logical relation between ML and assembly. POPL 2011: 133-146
18		Georg Neis, Derek Dreyer, Andreas Rossberg: Non-parametric parametricity. J. Funct. Program. 21(4-5): 497-562 (2011)
17		Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations Logical Methods in Computer Science 7(2): (2011)
	2010
16		Derek Dreyer, Georg Neis, Lars Birkedal: The impact of higher-order state and control effects on local relational reasoning. ICFP 2010: 143-156
15		Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal: A relational modal logic for higher-order stateful ADTs. POPL 2010: 185-198
14		Andreas Rossberg, Claudio V. Russo, Derek Dreyer: F-ing modules. TLDI 2010: 89-102
	2009
13		Georg Neis, Derek Dreyer, Andreas Rossberg: Non-parametric parametricity. ICFP 2009: 135-148
12		Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. LICS 2009: 71-80
11		Amal Ahmed, Derek Dreyer, Andreas Rossberg: State-dependent representation independence. POPL 2009: 340-353
	2008
10		Derek Dreyer, Andreas Rossberg: Mixin' up the ML module system. ICFP 2008: 307-320
	2007
9		Claudio V. Russo, Derek Dreyer: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007 ACM 2007
8		Derek Dreyer, Matthias Blume: Principal Type Schemes for Modular Programs. ESOP 2007: 441-457
7		Derek Dreyer: A type system for recursive modules. ICFP 2007: 289-302
6		Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller: Modular type classes. POPL 2007: 63-70
5		Derek Dreyer: Recursive type generativity. J. Funct. Program. 17(4-5): 433-471 (2007)
	2005
4		Derek Dreyer: Recursive type generativity. ICFP 2005: 41-53
	2004
3		Derek Dreyer: A type system for well-founded recursion. POPL 2004: 293-305
	2003
2		Derek Dreyer, Karl Crary, Robert Harper: A type system for higher-order modules. POPL 2003: 236-249
1		Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng: Typed compilation of recursive datatypes. TLDI 2003: 98-108

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[11] [12] [17]
2	Lars Birkedal	[12] [15] [16] [17]
3	Matthias Blume	[8]
4	Manuel M. T. Chakravarty	[6]
5	Perry Cheng	[1]
6	Karl Crary	[1] [2]
7	Georges Gonthier	[21]
8	Robert Harper	[1] [2] [6]
9	Chung-Kil Hur	[19] [20] [23]
10	Gabriele Keller	[6]
11	Aleksandar Nanevski	[21]
12	Georg Neis	[13] [15] [16] [18] [23]
13	Leaf Petersen	[1]
14	Andreas Rossberg	[10] [11] [13] [14] [15] [18]
15	Claudio V. Russo	[9] [14]
16	Viktor Vafeiadis	[20] [23]
17	Joseph Vanderwaart	[1]
18	Stephanie Weirich	[22]
19	Beta Ziliani	[21]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page