Scholar
Apoorv Ingle
Google Scholar ID: vtuijBoAAAAJ
University of Iowa
Programming languages
Type systems
Logic
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2
H-index
1
i10-index
0
Publications
6
Co-authors
0
Publications
2 items
Understanding Haskell-style Overloading via Open Data and Open Functions
2025
Cited
0
Extensible Recursive Functions, Algebraically
arXiv.org · 2024
Cited
0
