Apoorv Ingle

Contact

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

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 functional programming languges (FPL).
• I am currently focused on implementation and formalization aspects of the type checker for FPLs.

Keywords: Functional programming, static type checkers, programming language semantics, 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]

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

• A minimal type-checker
• GHC contributions
• A reversi game implementation in Haskell
• Kind2 Model Checker

Service

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

Apoorv Ingle

Disclaimer: This webpage intentionally does not use CSS/JS/any other shmancy ephemeral technology besides HTML. (Last modified on )