
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.
Country:United States
Affiliation:University of Iowa
Personal website:https://twitter.com/fxdpntthm
Twitter:https://twitter.com/fxdpntthm
Research interests:Programming Languages, Type Systems, Logic
Contributions
Haskell 2022 | Partial Type Constructors in Practice | ||||||||||||||||||||||||||||||||||||||||
ICFP 2022 | Video Chair in Organizing Committee Video Chair in Virtualization Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile