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
|ICFP 2023||Video Chair in Organizing Committee|
|Show activities from other conferences|
Using general profile