Stephanie Weirich

Affiliations: 
Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Theory: Formal Methods and Logic; Programming Languages and Program Analysis
Google:
"Stephanie Weirich"

Parents

Sign in to add mentor
Devika Subramanian research assistant 1996 Rice University
Gregory Morrisett grad student 2002 Cornell
 (Programming with types.)

Children

Sign in to add trainee
Dimitrios Vytiniotis grad student 2008 Penn
Chris Casinghino grad student 2014 Penn
Brent A. Yorgey grad student 2014 Penn
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Keuchel S, Weirich S, Schrijvers T. (2016) Needle & knot: Binder boilerplate tied up Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 419-445
Eisenberg RA, Weirich S, Ahmed HG. (2016) Visible type application Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 229-254
Sjöberg V, Weirich S. (2015) Programming up to congruence Acm Sigplan Notices. 50: 369-382
Breitner J, Eisenberg RA, Peyton Jones S, et al. (2014) Safe zero-cost coercions for Haskell Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 189-202
Casinghino C, Sjöberg V, Weirich S. (2014) Combining proofs and programs in a dependently typed language Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 33-45
Eisenberg RA, Vytiniotis D, Peyton Jones S, et al. (2014) Closed type families with overlapping equations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 671-683
Breitner J, Eisenberg RA, Jones SP, et al. (2014) Safe zero-cost coercions for Haskell Acm Sigplan Notices. 49: 189-202
Mu SC, Mcbride C, Weirich S. (2013) Dependently typed programming Progress in Informatics. 149-155
Kimmell G, Stump A, Eades HD, et al. (2013) Equational reasoning about programs with general recursion and call-by-value semantics Progress in Informatics. 19-46
Hu Z, Mu SC, Weirich S. (2013) Advanced programming techniques for construction of robust, generic and evolutionary programs Progress in Informatics. 1-2
See more...