Write a Blog >>
Andre Kuhlenschmidt

Registered user since Thu 14 Dec 2017

Name: Andre Kuhlenschmidt

Country: United States

Affiliation: Indiana University

Personal website: https://akuhlens.github.io

Research interests: Type Systems, Gradual Typing, Programming Language Implementation

Contributions

WGT 2020Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track
Show activities from other conferences

POPL 2020-profile
View general profile