conf.researchr.org / Apoorv Ingle
Registered user since Mon 16 Jul 2018
PhD student interested in theory and implementation of (functional) programming languages, static type systems, semantics etc.
Affiliation:University of Iowa
Research interests:Programming Languages, Type Systems, Logic
|POPL 2022||Video Chair in Organizing Committee|