Write a Blog >>
Andre Kuhlenschmidt

Registered user since Thu 14 Dec 2017

Name:Andre Kuhlenschmidt
Country:United States
Affiliation:Indiana University
Research interests:Type Systems, Gradual Typing, Programming Language Implementation

Contributions

WGT 2020 Hypercoercions and a Framework for Equivalence of Cast Calculi
Show activities from other conferences

POPL 2020-profile
View general profile