Apoorv Ingle

Graduate Student, Department of Computer Science

(Pseudo) Location
Mathematical Sciences
The University of Iowa
Iowa City, IA 52242-1419
USA

Contact

Email: first-name 'hyphen' last-name 'at' uiowa 'dot' edu
Twitter: @fxdpntthm

Research Interests: I am broadly interested in design and implimentation aspects of functional programming languges (FPL). My current focus is in type systems for FPLs.

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

Partial Type Constructors in Practice. Apoorv Ingle, Alex Hubers, J. Garrett Morris, Haskell 2022: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, https://doi.org/10.1145/3546189.3549923

Misc Writings

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

Misc Projects

Service

SPLASH 2021 Student Volunteer (Video)
POPL 2022 Video Chair
ICFP 2022 Video Chair

Apoorv Ingle

This page was last modified on Thursday, 13-Oct-2022 12:40:04 CDT.

Back to Mathematical Sciences