Dimitrios Vytiniotis

	2009
8		Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis: Complete and decidable type inference for GADTs. ICFP 2009: 341-352
	2008
7		Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: FPH: first-class polymorphism for Haskell. ICFP 2008: 295-306
	2007
6		Dimitrios Vytiniotis, Stephanie Weirich: Free Theorems and Runtime Type Representations. Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007)
5		Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields: Practical type inference for arbitrary-rank types. J. Funct. Program. 17(1): 1-82 (2007)
	2006
4		Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262
3		Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61
	2005
2		Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich: An open and shut typecase. TLDI 2005: 13-24
1		Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65

Coauthor Index

1	Brian E. Aydemir	[1]
2	Aaron Bohannon	[1]
3	Matthew Fairbairn	[1]
4	J. Nathan Foster	[1]
5	Simon L. Peyton Jones	[3] [4] [5] [7] [8]
6	Benjamin C. Pierce	[1]
7	Tom Schrijvers	[8]
8	Peter Sewell	[1]
9	Mark Shields	[5]
10	Martin Sulzmann	[8]
11	Geoffrey Washburn	[1] [2] [3]
12	Stephanie Weirich	[1] [2] [3] [4] [5] [6] [7]
13	Steve Zdancewic	[1]