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
Richard A. Eisenberg
Richard A. Eisenberg
Jane Street
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