David Van Horn - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Registered user since Wed 31 Dec 2014

Name:David Van Horn

Affiliation:University of Maryland, USA

Personal website: https://www.cs.umd.edu/~dvanhorn/

Research interests:Programming languages

Contributions

2018

ICFP

PLMW

Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track

Haskell

Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)

Scheme

From Scripting to Proving: Gradual Verification with a Scheme

Show activities from other conferences

ICFP 2018-profile
View general profile