
Registered user since Thu 20 Apr 2017
Name:Daniel Patterson
Country:United States
Affiliation:Northeastern University
Personal website:https://dbp.io
Research interests:Programming Languages -- Language Interoperability, Type Systems, Compilers.
Contributions
ICFP 2019 | The Next 700 Compiler Correctness Theorems. A Functional Pearl. | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile