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