Explicit Level Imports awarded best paper at TFP 2025
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
Wednesday, 30 April 2025
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
Wednesday, 30 April 2025
large-anon: Practical scalable anonymous records for Haskell
Edsko de Vries
Wednesday, 06 April 2022
Edsko de Vries
Wednesday, 06 April 2022
Type-level sharing in Haskell, now
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021
Induction without core-size blow-up
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021