Benjamin Delaware - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Registered user since Wed 25 Nov 2015

Name:Benjamin Delaware

Affiliation:Purdue University

Personal website: https://www.cs.purdue.edu/homes/bendy/

Research interests:Programming Languages and Verification

Contributions

2017

Haskell

Using Coq to Write Fast and Correct Haskell

Show activities from other conferences

ICFP 2017-profile
View general profile