Apoorv Ingle

Registered user since Mon 16 Jul 2018

Name:Apoorv Ingle
Bio:

PhD student interested in theory and implementation of (functional) programming languages, static type systems, semantics etc.

@ani@types.pl

Country:United States
Affiliation:University of Iowa
Research interests:Programming Languages, Type Systems, Logic

Contributions