Statistics
Publications
1
Citations
14
H-Index
1
Active since
2024
Affiliations
University of Michigan(Current)
Raef Maroof is an author at University of Michigan specializing in syntax-semantics interface, agda, and lambda calculus.
Publications per year
2024–2024
1
1
Total Type Error Localization and Recovery with Holes
Eric Zhao, Raef Maroof, A Ambedkar Dukkipati et al. · Proceedings of the ACM on Programming Languages · 2024 · 14 citations · Full text
1–1 of 1