Registered user since Thu 4 May 2017

Name: Benjamin Sherman

Country: United States

Affiliation: Massachusetts Institute of Technology, USA

Personal website: http://www.ben-sherman.net

Research interests: programming languages, type theory

ICFP 2017 Activities

• Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
• Show activities from other conferences