Michael D. Adams - POPL 2019 (original) (raw)

Name:Michael D. Adams

Country:United States

Affiliation:University of Utah

Personal website: https://michaeldadams.org

Research interests:Programming Languages; Cybersecurity; Static Analysis; Parsing; Compilation and Optimization; Meta-programming and Macros; Generic Programming; Type Systems