Stephanie Weirich

2008
29	EE	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: FPH: first-class polymorphism for Haskell. ICFP 2008: 295-306
28	EE	Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich: Engineering formal metatheory. POPL 2008: 3-15
27	EE	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)
26	EE	Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. J. Funct. Program. 18(1): 87-140 (2008)
2007
25	EE	Dimitrios Vytiniotis, Stephanie Weirich: Free Theorems and Runtime Type Representations. Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007)
24	EE	Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich: Nominal Reasoning Techniques in Coq: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 174(5): 69-77 (2007)
23	EE	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
22	EE	Stephanie Weirich: RepLib: a library for derivable type classes. Haskell 2006: 1-12
21	EE	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262
20	EE	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61
19	EE	Geoffrey Washburn, Stephanie Weirich: Good advice for type-directed programming aspect-oriented programming and extensible generic functions. ICFP-WGP 2006: 33-44
18	EE	Stephanie Weirich: Type-safe run-time polytypic programming. J. Funct. Program. 16(6): 681-710 (2006)
2005
17	EE	Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich: PolyAML: a polymorphic aspect-oriented functional programming language. ICFP 2005: 306-319
16	EE	Geoffrey Washburn, Stephanie Weirich: Generalizing Parametricity Using Information-flow. LICS 2005: 62-71
15	EE	Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich: An open and shut typecase. TLDI 2005: 13-24
14	EE	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
13	EE	Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
12	EE	Stephanie Weirich, Liang Huang: A Design for Type-Directed Programming in Java. Electr. Notes Theor. Comput. Sci. 138(2): 117-136 (2005)
2004
11	EE	Stephanie Weirich: Type-safe cast. J. Funct. Program. 14(6): 681-695 (2004)
2003
10	EE	Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. ICFP 2003: 249-262
2002
9	EE	Stephanie Weirich: Higher-Order Intensional Type Analysis. ESOP 2002: 98-114
8	EE	Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
2001
7	EE	Stephanie Weirich: Encoding Intensional Type Analysis. ESOP 2001: 92-106
2000
6	EE	Stephanie Weirich: Type-safe cast: functional pearl. ICFP 2000: 58-67
5	EE	Karl Crary, Stephanie Weirich: Resource Bound Certification. POPL 2000: 184-198
4	EE	Michael W. Hicks, Stephanie Weirich, Karl Crary: Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176
1999
3	EE	Karl Crary, Stephanie Weirich: Flexible Type Analysis. ICFP 1999: 233-248
1998
2	EE	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	[14] [24] [28]
2	Aaron Bohannon	[14] [24]
3	Arthur Charguéraud	[28]
4	Karl Crary	[2] [3] [4] [5] [8]
5	Daniel S. Dantas	[17] [27]
6	Matthew Fairbairn	[14]
7	Matthias Felleisen	[1]
8	Cormac Flanagan	[1]
9	Matthew Flatt	[1]
10	J. Nathan Foster	[14]
11	Michael W. Hicks (Michael Hicks)	[4]
12	Liang Huang	[12]
13	Simon L. Peyton Jones	[20] [21] [23] [29]
14	Shriram Krishnamurthi	[1]
15	J. Gregory Morrisett (Greg Morrisett)	[2] [8]
16	Benjamin C. Pierce	[13] [14] [28]
17	Randy Pollack	[28]
18	Peter Sewell	[13] [14]
19	Mark Shields	[23]
20	Dimitrios Vytiniotis	[14] [15] [20] [21] [23] [25] [29]
21	David Walker	[17] [27]
22	Geoffrey Washburn	[10] [14] [15] [16] [17] [19] [20] [26] [27]
23	Steve Zdancewic	[13] [14]

Colors in the list of coauthors