Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Daniel Patterson

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

ICFP 2019-profile
View general profile