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.
|ICFP 2019||Author of The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track|
|Show activities from other conferences|