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

Contributions

Off the Beaten Track 2016Author of Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations within the Off the Beaten Track-track
Show activities from other conferences

POPL 2016-profile
View general profile