Follow
Stephanie Weirich
Stephanie Weirich
Professor of Computer Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
Title
Cited by
Cited by
Year
Simple unification-based type inference for GADTs
S Peyton Jones, D Vytiniotis, S Weirich, G Washburn
ACM SIGPLAN Notices 41 (9), 50-61, 2006
4392006
Mechanized metatheory for the masses: The POPLmark challenge
B Aydemir, A Bohannon, M Fairbairn, J Foster, B Pierce, P Sewell, ...
Theorem Proving in Higher Order Logics, 50-65, 2005
3992005
TALx86: A realistic typed assembly language
K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ...
1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999
3191999
Engineering formal metatheory
B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich
Acm sigplan notices 43 (1), 3-15, 2008
2802008
Practical type inference for arbitrary-rank types
D Vytiniotis, S Weirich, S Peyton-jones
Journal of Functional Programming 17 (1), 1-82, 2007
2362007
Giving Haskell a Promotion
BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis
TLDI, 11, 2012
2292012
Intensional polymorphism in type-erasure semantics
K Crary, S Weirich, G Morrisett
ACM SIGPLAN Notices 34 (1), 301-312, 1998
1631998
Catching bugs in the web of program invariants
C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M Felleisen
Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996
1311996
Reactive noninterference
A Bohannon, BC Pierce, V Sjöberg, S Weirich, S Zdancewic
Proceedings of the 16th ACM conference on Computer and communications …, 2009
1252009
Flexible type analysis
K Crary, S Weirich
Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999
1191999
Dependently typed programming with singletons
RA Eisenberg, S Weirich
ACM SIGPLAN Notices 47 (12), 117-130, 2012
1182012
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1002010
Wobbly types: type inference for generalised algebraic data types
SP Jones, G Washburn, S Weirich
Technical Report MS-CIS-05-26, Univ. of Pennsylvania, 2004
1002004
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
952014
Boxy types: inference for higher-rank types and impredicativity
D Vytiniotis, S Weirich, S Peyton Jones
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
822006
Combining proofs and programs in a dependently typed language
C Casinghino, V Sjöberg, S Weirich
ACM SIGPLAN Notices 49 (1), 33-45, 2014
762014
Type-safe cast
S Weirich
International Conference on Functional Programming (ICFP), 58-67, 2000
75*2000
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
752000
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
752000
AspectML: A polymorphic aspect-oriented functional programming language
DS Dantas, D Walker, G Washburn, S Weirich
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-60, 2008
672008
The system can't perform the operation now. Try again later.
Articles 1–20