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