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