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
4062006
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
3632005
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
3011999
Engineering formal metatheory
B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich
Acm sigplan notices 43 (1), 3-15, 2008
2482008
Giving Haskell a Promotion
BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis
TLDI, 11, 2012
1992012
Practical type inference for arbitrary-rank types
SP Jones, D Vytiniotis, S Weirich, M Shields
Journal of functional programming 17, 2005
1962005
Intensional polymorphism in type-erasure semantics
K Crary, S Weirich, G Morrisett
ACM SIGPLAN Notices 34 (1), 301-312, 1998
1521998
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
1281996
Flexible type analysis
K Crary, S Weirich
Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999
1151999
Reactive noninterference
A Bohannon, BC Pierce, V Sjöberg, S Weirich, S Zdancewic
Proceedings of the 16th ACM conference on Computer and communications …, 2009
1102009
Dependently typed programming with singletons
RA Eisenberg, S Weirich
ACM SIGPLAN Notices 47 (12), 117-130, 2012
962012
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
952004
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
902010
Type-safe cast (FUNCTIONAL PEARL)
S Weirich
Journal of Functional Programming 14 (6), 681-695, 2004
85*2004
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
85*2000
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
85*2000
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
85*2000
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
762006
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
742014
Combining proofs and programs in a dependently typed language
C Casinghino, V Sjöberg, S Weirich
ACM SIGPLAN Notices 49 (1), 33-45, 2014
682014
The system can't perform the operation now. Try again later.
Articles 1–20