SPLASH 2011 (series) / Michael D. Adams

Registered user since Thu 28 Jun 2018
Name:Michael D. Adams
Country:United States
Affiliation:University of Michigan
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
Scheme 2011 | Committee Member in Program Committee within the Scheme 2011-track | ||||||||||||||||||||||||||||||||||||||||
SPLASH 2011 | Flow-Sensitive Type Recovery in Linear-Log Time | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2011-profile
View general profile
View general profile