Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 15:59 - 16:00 at Illinois Central - Session 7 Chair(s): Simon Marlow

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 16:00
Session 7Haskell at Illinois Central
Chair(s): Simon Marlow Facebook
15:30
29m
Talk
Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
Haskell
Niki Vazou University of Maryland, USA, Joachim Breitner DFINITY Foundation, Rose Kunkel University of Maryland, USA, David Van Horn University of Maryland, USA, Graham Hutton University of Nottingham, UK
DOI
15:59
1m
Talk
Closing Statement
Haskell
Nicolas Wu University of Bristol, UK