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
GHC activities report: June–August 2024
Adam Gundry, Andreas Klebinger, Ben Gamari, Matthew Pickering, Mikolaj Konarski, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Friday, 30 August 2024
Adam Gundry, Andreas Klebinger, Ben Gamari, Matthew Pickering, Mikolaj Konarski, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Friday, 30 August 2024
GHC activities report: October–November 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Matthew Pickering, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Thursday, 21 December 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Matthew Pickering, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Thursday, 21 December 2023
Improving GHC's configuration logic and cross-compilation support with ghc-toolchain
Rodrigo Mesquita
Monday, 02 October 2023
Rodrigo Mesquita
Monday, 02 October 2023