
Registered user since Thu 28 Jun 2018
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
Contributions
ICFP 2018-profile
View general profile
View general profile