Scholar
Stephanie Weirich
Google Scholar ID: -vC_l2kAAAAJ
Professor of Computer Science, University of Pennsylvania
Programming Languages
Functional programming
Type Systems
Dependent types
Generic programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,135
H-index
17
i10-index
36
Publications
20
Co-authors
38
list available
Contact
CV
Open ↗
GitHub
Open ↗
Publications
4 items
Definitional Inversion, Without Normalisation
2026
Cited
0
Typing Strictness (Extended Version)
2025
Cited
0
Rebound: Efficient, Expressive, and Well-Scoped Binding
2025
Cited
0
Bounded First-Class Universe Levels in Dependent Type Theory
2025
Cited
0
Co-authors
9 total
Dimitrios Vytiniotis
DeepMind
Simon Peyton Jones
Epic Games
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Richard A. Eisenberg
Jane Street
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Karl Crary
Carnegie Mellon University
David Walker
Princeton University
Christine Rizkallah
Senior Lecturer at the University of Melbourne
