ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 20:30 - 21:00 at Haskell - Paper Session 1

This paper presents Express, a library for manipulating dynamically typed Haskell expressions involving function application and variables. Express works as a wrapper around the Data.Dynamic module and provides two main additional features: delayed application between values and support for variable placeholders. This paper shows these two additions make this library useful in generating program specifications, automated testing and program generation.

Thu 26 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Paper Session 1Haskell at Haskell
20:00
30m
Talk
Chesskell: A Two-Player Game at the Type Level
Haskell
Toby Bailey University of Warwick, Michael Gale University of Warwick, UK
20:30
30m
Talk
Express: applications of dynamically typed Haskell expressions
Haskell
Rudy Matela Unaffiliated
Link to publication DOI Pre-print
21:00
30m
Talk
Haskell⁻¹: Automatic Function Inversion in Haskell
Haskell
Finn Teegen University of Kiel, Germany, Kai-Oliver Prott University of Kiel, Germany, Niels Bunkenburg University of Kiel, Germany
DOI Pre-print