
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