Registered user since Thu 13 Nov 2014
Name:Matthew Hammer
Country:United States
Affiliation:University of Colorado, Boulder
Personal website:http://www.cs.umd.edu/~hammer/
Research interests:Programming Language Desigh, Incremental Computation, Type Systems
Contributions
| Off the Beaten Track 2016 | Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile