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]

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

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

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 Thursday, 30-Nov-2023 13:07:45 CST)