Stephanie Weirich

Benjamin C. Pierce, Stephanie Weirich: Preface. J. Autom. Reasoning 49(3): 301-302 (2012)

Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich: Contracts made manifest. J. Funct. Program. 22(3): 225-274 (2012)

Umut A. Acar, James Cheney, Stephanie Weirich: Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22(4-5): 379-381 (2012)

Stephanie Weirich: Dependently-Typed Programming in GHC. FLOPS 2012: 3

Richard A. Eisenberg, Stephanie Weirich: Dependently typed programming with singletons. Haskell 2012: 117-130

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn: Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26

Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães: Giving Haskell a promotion. TLDI 2012: 53-66

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich: Step-Indexed Normalization for a Language with General Recursion. MSFP 2012: 25-39

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich: Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162

Stephanie Weirich, Brent A. Yorgey, Tim Sheard: Binders unbound. ICFP 2011: 333-345

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic: Generative type abstraction and type-level computation. POPL 2011: 227-240

Stephanie Weirich: Combining Proofs and Programs. RTA 2011: 9-9

Stephanie Weirich: Combining Proofs and Programs. TLCA 2011: 9

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. ACM 2011, isbn 978-1-4503-0484-9

Dimitrios Vytiniotis, Stephanie Weirich: Parametricity, type equality, and higher-order polymorphism. J. Funct. Program. 20(2): 175-210 (2010)

Stephanie Weirich, Chris Casinghino: Arity-generic datatype-generic programming. PLPV 2010: 15-26

Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich: Dependent types and program equivalence. POPL 2010: 275-286

Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich: Contracts made manifest. POPL 2010: 353-364

Tim Sheard, Aaron Stump, Stephanie Weirich: Language-based verification will change the world. FoSER 2010: 343-348

Stephanie Weirich, Chris Casinghino: Generic Programming with Dependent Types. SSGIP 2010: 217-258

Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich: Termination Casts: A Flexible Approach to Termination with General Recursion. PAR 2010: 76-93

Paul Hudak, Stephanie Weirich (Eds.): Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. ACM 2010, isbn 978-1-60558-794-3

Stephanie Weirich, Chris Casinghino: Arity-generic datatype-generic programming: (abstract only). SIGPLAN Notices 44(11): 7 (2009)

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic: Reactive noninterference. ACM Conference on Computer and Communications Security 2009: 79-90

Stephanie Weirich: Haskell Symposium Program Chair's Report. Haskell 2009

Stephanie Weirich (Ed.): Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009. ACM 2009, isbn 978-1-60558-508-6

Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. J. Funct. Program. 18(1): 87-140 (2008)

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)

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: FPH: first-class polymorphism for Haskell. ICFP 2008: 295-306

Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich: Engineering formal metatheory. POPL 2008: 3-15

Dimitrios Vytiniotis, Stephanie Weirich: Free Theorems and Runtime Type Representations. Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007)

Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich: Nominal Reasoning Techniques in Coq: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 174(5): 69-77 (2007)

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)

Stephanie Weirich: Type-safe run-time polytypic programming. J. Funct. Program. 16(6): 681-710 (2006)

Stephanie Weirich: RepLib: a library for derivable type classes. Haskell 2006: 1-12

Geoffrey Washburn, Stephanie Weirich: Good advice for type-directed programming aspect-oriented programming and extensible generic functions. ICFP-WGP 2006: 33-44

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262

Stephanie Weirich, Liang Huang: A Design for Type-Directed Programming in Java. Electr. Notes Theor. Comput. Sci. 138(2): 117-136 (2005)

Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich: Poly_AML: a polymorphic aspect-oriented functional programming language. ICFP 2005: 306-319

Geoffrey Washburn, Stephanie Weirich: Generalizing Parametricity Using Information-flow. LICS 2005: 62-71

Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich: An open and shut typecase. TLDI 2005: 13-24

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

Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30

Stephanie Weirich: Type-safe cast. J. Funct. Program. 14(6): 681-695 (2004)

Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. SIGPLAN Notices 38(9): 249-262 (2003)

Geoffrey Washburn, Stephanie Weirich: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. ICFP 2003: 249-262

Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)

Stephanie Weirich: Higher-Order Intensional Type Analysis. ESOP 2002: 98-114

Stephanie Weirich: Encoding Intensional Type Analysis. ESOP 2001: 92-106

Stephanie Weirich: Type-safe cast: functional pearl. ICFP 2000: 58-67

Karl Crary, Stephanie Weirich: Resource Bound Certification. POPL 2000: 184-198

Michael W. Hicks, Stephanie Weirich, Karl Crary: Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176

Karl Crary, Stephanie Weirich: Flexible Type Analysis. ICFP 1999: 233-248

Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional Polymorphism in Type-Erasure Semantics. ICFP 1998: 301-312

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32