Stephanie Weirich

	2010
36		Stephanie Weirich, Chris Casinghino: Arity-generic datatype-generic programming. PLPV 2010: 15-26
35		Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich: Dependent types and program equivalence. POPL 2010: 275-286
34		Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich: Contracts made manifest. POPL 2010: 353-364
	2009
33		Stephanie Weirich: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009 ACM 2009
32		Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic: Reactive noninterference. ACM Conference on Computer and Communications Security 2009: 79-90
31		Stephanie Weirich: Haskell Symposium Program Chair's Report. Haskell 2009
	2008
30		Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: FPH: first-class polymorphism for Haskell. ICFP 2008: 295-306
29		Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich: Engineering formal metatheory. POPL 2008: 3-15
28		Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich: AspectML: A polymorphic aspect-oriented functional programming language. ACM Trans. Program. Lang. Syst. 30(3): (2008)
27		Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. J. Funct. Program. 18(1): 87-140 (2008)
	2007
26		Dimitrios Vytiniotis, Stephanie Weirich: Free Theorems and Runtime Type Representations. Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007)
25		Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich: Nominal Reasoning Techniques in Coq: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 174(5): 69-77 (2007)
24		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
23		Stephanie Weirich: RepLib: a library for derivable type classes. Haskell 2006: 1-12
22		Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262
21		Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61
20		Geoffrey Washburn, Stephanie Weirich: Good advice for type-directed programming aspect-oriented programming and extensible generic functions. ICFP-WGP 2006: 33-44
19		Stephanie Weirich: Type-safe run-time polytypic programming. J. Funct. Program. 16(6): 681-710 (2006)
	2005
18		Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich: PolyAML: a polymorphic aspect-oriented functional programming language. ICFP 2005: 306-319
17		Geoffrey Washburn, Stephanie Weirich: Generalizing Parametricity Using Information-flow. LICS 2005: 62-71
16		Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich: An open and shut typecase. TLDI 2005: 13-24
15		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
14		Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
13		Stephanie Weirich, Liang Huang: A Design for Type-Directed Programming in Java. Electr. Notes Theor. Comput. Sci. 138(2): 117-136 (2005)
	2004
12		Stephanie Weirich: Type-safe cast. J. Funct. Program. 14(6): 681-695 (2004)
	2003
11		Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. ICFP 2003: 249-262
10		Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. SIGPLAN Notices 38(9): 249-262 (2003)
	2002
9		Stephanie Weirich: Higher-Order Intensional Type Analysis. ESOP 2002: 98-114
8		Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
	2001
7		Stephanie Weirich: Encoding Intensional Type Analysis. ESOP 2001: 92-106
	2000
6		Stephanie Weirich: Type-safe cast: functional pearl. ICFP 2000: 58-67
5		Karl Crary, Stephanie Weirich: Resource Bound Certification. POPL 2000: 184-198
4		Michael W. Hicks, Stephanie Weirich, Karl Crary: Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176
	1999
3		Karl Crary, Stephanie Weirich: Flexible Type Analysis. ICFP 1999: 233-248
	1998
2		Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional Polymorphism in Type-Erasure Semantics. ICFP 1998: 301-312
	1996
1		Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32

Coauthor Index

1	Brian E. Aydemir	[15] [25] [29]
2	Aaron Bohannon	[15] [25] [32]
3	Chris Casinghino	[36]
4	Arthur Charguéraud	[29]
5	Karl Crary	[2] [3] [4] [5] [8]
6	Daniel S. Dantas	[18] [28]
7	Matthew Fairbairn	[15]
8	Matthias Felleisen	[1]
9	Cormac Flanagan	[1]
10	Matthew Flatt	[1]
11	Nate Foster (J. Nathan Foster)	[15]
12	Michael Greenberg	[34]
13	Michael W. Hicks (Michael Hicks)	[4]
14	Liang Huang	[13]
15	Limin Jia	[35]
16	Simon L. Peyton Jones	[21] [22] [24] [30]
17	Shriram Krishnamurthi	[1]
18	J. Gregory Morrisett (Greg Morrisett)	[2] [8]
19	Benjamin C. Pierce	[14] [15] [29] [32] [34]
20	Randy Pollack	[29]
21	Peter Sewell	[14] [15]
22	Mark Shields	[24]
23	Vilhelm Sjöberg	[32] [35]
24	Dimitrios Vytiniotis	[15] [16] [21] [22] [24] [26] [30]
25	David Walker	[18] [28]
26	Geoffrey Washburn	[10] [11] [15] [16] [17] [18] [20] [21] [27] [28]
27	Steve Zdancewic	[14] [15] [32]
28	Jianzhou Zhao	[35]

Colors in the list of coauthors