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
Performance profiling with ghc-events-analyze
Edsko de Vries, Duncan Coutts
Wednesday, 12 February 2014
Edsko de Vries, Duncan Coutts
Wednesday, 12 February 2014