Scholar
Patrick Bahr
Google Scholar ID: eMKdREgAAAAJ
IT University of Copenhagen
type systems
compilers
functional programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
552
H-index
13
i10-index
15
Publications
20
Co-authors
5
list available
Publications
2 items
Garlene: Guarded Recursion in Lean
2026
Cited
0
Simple Modal Types for Functional Reactive Programming
2025
Cited
0
Co-authors
2 total
Rasmus Møgelberg
IT University of Copenhagen
Martin Elsman
Professor, DIKU
