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
| PriSC 2018 | On Compositional Compiler Correctness and Fully Abstract Compilation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile