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

To appear soon

Misc Writings

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

Misc Projects

Service

SPLASH'21 Student Volunteer (Video)
POPL'22 Video Chair

Apoorv Ingle

This page was last modified on Thursday, 11-Aug-2022 11:55:33 CDT.

Back to Mathematical Sciences