Stephanie Weirich - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Combining Proofs and ProgramsStephanie Weirich. tlca 2011: 9 [doi]

Combining Proofs and ProgramsStephanie Weirich. RTA 2011: 9-9 [doi]

Generative type abstraction and type-level computationStephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic. POPL 2011: 227-240 [doi]

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011Stephanie Weirich, Derek Dreyer, editors, ACM, 2011.

2010

2009

Reactive noninterferenceAaron Bohannon, Benjamin C. Pierce, Vilhelm SjÃ¶berg, Stephanie Weirich, Steve Zdancewic. ccs 2009: 79-90 [doi]

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009Stephanie Weirich, editor, ACM, 2009.

Haskell Symposium Program Chair s ReportStephanie Weirich. haskell 2009: [doi]

2008

2007

Nominal Reasoning Techniques in Coq: (Extended Abstract)Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich. ENTCS, 174(5):69-77, 2007. [doi]

Practical type inference for arbitrary-rank typesSimon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields. JFP, 17(1):1-82, 2007. [doi]

Free Theorems and Runtime Type RepresentationsDimitrios Vytiniotis, Stephanie Weirich. ENTCS, 173:357-373, 2007. [doi]

2006

2005

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

Poly::AML::: a polymorphic aspect-oriented functional programming languageDaniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich. ICFP 2005: 306-319 [doi]

It Is Time to Mechanize Programming Language MetatheoryBenjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic. vstte 2008: 26-30 [doi]

An open and shut typecaseDimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich. tldi 2005: 13-24 [doi]

Generalizing Parametricity Using Information-flowGeoffrey Washburn, Stephanie Weirich. lics 2005: 62-71 [doi]

A Design for Type-Directed Programming in JavaStephanie Weirich, Liang Huang. ENTCS, 138(2):117-136, 2005. [doi]

2004

Type-safe castStephanie Weirich. JFP, 14(6):681-695, 2004. [doi]

2003

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. SIGPLAN, 38(9):249-262, 2003. [doi]

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. ICFP 2003: 249-262 [doi]

2002

Intensional polymorphism in type-erasure semanticsKarl Crary, Stephanie Weirich, J. Gregory Morrisett. JFP, 12(6):567-600, 2002. [doi]

Higher-Order Intensional Type AnalysisStephanie Weirich. ESOP 2002: 98-114 [doi]

2001

Encoding Intensional Type AnalysisStephanie Weirich. ESOP 2001: 92-106 [doi]

2000

Resource Bound CertificationKarl Crary, Stephanie Weirich. POPL 2000: 184-198 [doi]

Safe and Flexible Dynamic Linking of Native CodeMichael W. Hicks, Stephanie Weirich, Karl Crary. tic 2001: 147-176 [doi]

Type-safe cast: functional pearlStephanie Weirich. ICFP 2000: 58-67 [doi]

1999

Flexible Type AnalysisKarl Crary, Stephanie Weirich. ICFP 1999: 233-248 [doi]

1998

Intensional Polymorphism in Type-Erasure SemanticsKarl Crary, Stephanie Weirich, J. Gregory Morrisett. ICFP 1998: 301-312 [doi]

1996

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