Anonymous or large records with OverloadedRecordDot and OverloadedRecordUpdate
Edsko de Vries
Tuesday, 07 March 2023
Edsko de Vries
Tuesday, 07 March 2023
large-anon: Practical scalable anonymous records for Haskell
Edsko de Vries
Wednesday, 06 April 2022
Edsko de Vries
Wednesday, 06 April 2022
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