SPLASH 2023 (series) / Apoorv Ingle
![Apoorv Ingle](https://2023.splashcon.org/getProfileImage/apoorvingle/ff0433ad-acb1-45ca-88f1-78e8534b3f31/small.jpg?1711783306000)
Registered user since Mon 16 Jul 2018
Name:Apoorv Ingle
Bio:
PhD student interested in theory and implementation of (functional) programming languages, static type systems, semantics etc.
Country:United States
Affiliation:University of Iowa
Personal website: https://cs.uiowa.edu/~aningle
X (Twitter): https://x.com/fxdpntthm
GitHub: https://github.com/fxdpntthm
Research interests:Programming Languages, Type Systems, Logic
Contributions
2023
SPLASH 2023-profile
View general profile
View general profile