Stephanie Weirich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
10
Active years
1996–2025
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Stratified Type Theory. | Jonathan Chan, Stephanie Weirich |
| 2025 | HASKELL | Rebound: Efficient, Expressive, and Well-Scoped Binding. | No De Santo, Stephanie Weirich |
| 2022 | ESOP | A Dependent Dependency Calculus. | Pritam Choudhury, Harley Eades III, Stephanie Weirich |
| 2018 | CPP | Total Haskell is reasonable Coq. | Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich |
| 2017 | POPL | The influence of dependent types (keynote). | Stephanie Weirich |
| 2016 | ESOP | Visible Type Application. | Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed |
| 2016 | ESOP | Needle & Knot: Binder Boilerplate Tied Up. | Steven Keuchel, Stephanie Weirich, Tom Schrijvers |
| 2015 | POPL | Programming up to Congruence. | Vilhelm Sjberg, Stephanie Weirich |
| 2015 | POPL | How to write a good research paper. | Stephanie Weirich |
| 2015 | POPL | How to give a good research talk. | Stephanie Weirich |
| 2014 | ICFP | Safe zero-cost coercions for Haskell. | Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | ICFP | Depending on types. | Stephanie Weirich |
| 2014 | POPL | Combining proofs and programs in a dependently typed language. | Chris Casinghino, Vilhelm Sjberg, Stephanie Weirich |
| 2014 | POPL | Closed type families with overlapping equations. | Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich |
| 2013 | ICFP | System FC with explicit kind equality. | Stephanie Weirich, Justin Hsu, Richard A. Eisenberg |
| 2012 | FLOPS | Dependently-Typed Programming in GHC. | Stephanie Weirich |
| 2012 | HASKELL | Dependently typed programming with singletons. | Richard A. Eisenberg, Stephanie Weirich |
| 2011 | ICFP | Binders unbound. | Stephanie Weirich, Brent A. Yorgey, Tim Sheard |
| 2011 | POPL | Generative type abstraction and type-level computation. | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
| 2010 | ITP | Termination Casts: A Flexible Approach to Termination with General Recursion. | Aaron Stump, Vilhelm Sjberg, Stephanie Weirich |
| 2010 | POPL | Contracts made manifest. | Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich |
| 2010 | POPL | Dependent types and program equivalence. | Limin Jia, Jianzhou Zhao, Vilhelm Sjberg, Stephanie Weirich |
| 2009 | CCS | Reactive noninterference. | Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjberg, Stephanie Weirich, Steve Zdancewic |
| 2009 | HASKELL | Haskell Symposium Program Chair's Report. | Stephanie Weirich |
| 2008 | ICFP | FPH: first-class polymorphism for Haskell. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2008 | POPL | Engineering formal metatheory. | Brian E. Aydemir, Arthur Charguraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
| 2006 | HASKELL | RepLib: a library for derivable type classes. | Stephanie Weirich |
| 2006 | ICFP | Simple unification-based type inference for GADTs. | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
| 2006 | ICFP | Boxy types: inference for higher-rank types and impredicativity. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2006 | ICFP | Good advice for type-directed programming aspect-oriented programming and extensible generic functions. | Geoffrey Washburn, Stephanie Weirich |
| 2005 | ICFP | Poly | Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
| 2005 | LICS | Generalizing Parametricity Using Information-flow. | Geoffrey Washburn, Stephanie Weirich |
| 2003 | ICFP | Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. | Geoffrey Washburn, Stephanie Weirich |
| 2002 | ESOP | Higher-Order Intensional Type Analysis. | Stephanie Weirich |
| 2001 | ESOP | Encoding Intensional Type Analysis. | Stephanie Weirich |
| 2000 | ICFP | Type-safe cast: functional pearl. | Stephanie Weirich |
| 2000 | POPL | Resource Bound Certification. | Karl Crary, Stephanie Weirich |
| 1999 | ICFP | Flexible Type Analysis. | Karl Crary, Stephanie Weirich |
| 1998 | ICFP | Intensional Polymorphism in Type-Erasure Semantics. | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
| 1996 | PLDI | Static Debugging: Browsing the Web of Program Invariants. | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |