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