Apoorv Ingle

Graduate Student, Department of Computer Science

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

Contact


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
Publications
Misc Writings
Misc Projects
Service
Apoorv Ingle

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

Back to Mathematical Sciences