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
| Scheme 2018 | An Efficient Compiler for the Gradually Typed Lambda Calculus | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile