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

PLMW @ ICFP 2018	Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track
Haskell 2018	Author of Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) within the Haskell 2018-track
Scheme 2018	Author of From Scripting to Proving: Gradual Verification with a Scheme within the Scheme 2018-track
ICFP 2018	PLMW Co-Chair in Organizing Committee Committee Member in External Review Committee within the Research Papers-track Committee Member in Selection Committee within the Student Research Competition-track
Show activities from other conferences

ICFP 2018-profile
View general profile