VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Matthew Hammer

Registered user since Thu 13 Nov 2014

Name:Matthew Hammer
Country:United States
Affiliation:University of Colorado, Boulder
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