Stephanie Weirich
Scholar

Stephanie Weirich

Google Scholar ID: -vC_l2kAAAAJ
Professor of Computer Science, University of Pennsylvania
Programming LanguagesFunctional programmingType SystemsDependent typesGeneric programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,135
 
H-index
17
 
i10-index
36
 
Publications
20
 
Co-authors
38
list available
Contact
CVOpen ↗GitHubOpen ↗
Publications
3 items
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
Resume (English only)
Co-authors
38 total
Dimitrios Vytiniotis
Dimitrios Vytiniotis
DeepMind
Simon Peyton Jones
Simon Peyton Jones
Epic Games
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Co-author 4
Co-author 4
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Co-author 6
Co-author 6
Karl Crary
Karl Crary
Carnegie Mellon University
Co-author 8
Co-author 8