Stephanie Weirich

Stephanie Weirich

University of Pennsylvania - Philadelphia / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435354
person_outline Stephanie Weirich's MOST POPULAR ARTICLES
1-) Simple unification-based type inference for GADTs ACM SIGPLAN Notices 41 (9), 50-61, 2006
2-) Mechanized metatheory for the masses: The POPLmark challenge Theorem Proving in Higher Order Logics, 50-65, 2005
3-) TALx86: A realistic typed assembly language 1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999
4-) Engineering formal metatheory Acm sigplan notices 43 (1), 3-15, 2008
5-) Practical type inference for arbitrary-rank types Journal of Functional Programming 17 (1), 1-82, 2007