Apoorv Ingle

Contact

Email: first-name 'hyphen' last-name 'at' uiowa 'dot' edu
Xitter: @fxdpntthm
Mastadon: @ani
GitHub: fxdpntthm

Resume (PDF)

Affiliations (Current)

Graduate Student (PhD), Department of Computer Science, University of Iowa
Member of CLC @ UIowa

Affiliations (Past)

Graduate Student (MS), Department of Electrical Engineering and Computer Science, University of Kansas
Member of I2S formerly known as ITTC

Research Interests

I am broadly interested in all aspects of design and implementation of functional programming languges (FPL).
I am currently focused on formalization and implementation aspects of the type checker for FPLs.

Keywords: Functional programming, type checkers, programming language semantics, formal verification, type theory, logic.

Research Projects

Partial Type Constructors: Well-kinded types can be semantically bogus eg. Set (Int → Int). Can we teach Haskell (GHC) type checker to identify such bogus types, also along the way have a Monad instance for the Set datatype? [Code]
Row Types in Haskell: First class rows in Haskell using GHC Plugins [Code]

Publications

Apoorv Ingle, Alex Hubers, and J. Garrett Morris. 2022. Partial type constructors in practice. In Proceedings of the 15th ACM SIGPLAN International Haskell Symposium (Haskell 2022). Association for Computing Machinery, New York, NY, USA, 95--107. https://doi.org/10.1145/3546189.3549923; Slides; YouTube Talk Video

Miscellaneous Writings

Qualifying Exam (2021): Dialects for Type Computation
Masters Thesis (2018): QuB: A Resource Aware Functional Programming Language

Miscellaneous Projects

Service

Student Volunteer SPLASH 2021
Video Chair POPL 2022, ICFP 2022, POPL 2023, ICFP 2023, SPLASH 2023 POPL 2024,

Apoorv Ingle

Disclaimer: This webpage intentionally does not use CSS/JS/any other shmancy ephemeral framework besides HTML. (Last modified on Wednesday, 15-Jan-2025 16:02:43 CST)