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
4112006
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
3612005
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
2991999
Engineering formal metatheory
B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich
Acm sigplan notices 43 (1), 3-15, 2008
2422008
Giving Haskell a Promotion
BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis
TLDI, 11, 2012
2012012
Practical type inference for arbitrary-rank types
SP Jones, D Vytiniotis, S Weirich, M Shields
Journal of functional programming 17 (1), 1-82, 2007
1982007
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
1331996
Flexible type analysis
K Crary, S Weirich
Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999
1171999
Reactive noninterference
A Bohannon, BC Pierce, V Sjöberg, S Weirich, S Zdancewic
Proceedings of the 16th ACM conference on Computer and communications …, 2009
1032009
Dependently typed programming with singletons
RA Eisenberg, S Weirich
ACM SIGPLAN Notices 47 (12), 117-130, 2012
952012
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
922004
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
882010
Type-safe cast (FUNCTIONAL PEARL)
S Weirich
Journal of Functional Programming 14 (6), 681-695, 2004
86*2004
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
86*2000
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
86*2000
Type-safe cast
S Weirich
ACM SIGPLAN Notices 35 (9), 58-67, 2000
86*2000
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
772014
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
752006
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