Registered user since Wed 8 Jul 2015

Name: Martin Hirzel

Country: United States

Affiliation: IBM Research

Personal website: http://hirzels.com/martin/

ICFP 2017 Activities

• Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
• Show activities from other conferences