Registered user since Sat 9 Jul 2016

Name: Max New

Affiliation: Northeastern University

Personal website: http://maxsnew.github.io

Research interests: Programming Languages, Secure Compilation, Gradual Typing, Category Theory

ICFP 2016 Activities

• Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track in ICFP 2016
• Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track in ICFP 2016
• Show activities from other conferences