Write a Blog >>
Matthew Hammer

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


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