Posts by Alfredo Di Napoli

GHC activities report: August–September 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Wednesday, 13 October 2021

The new GHC diagnostic infrastructure
Alfredo Di Napoli
Monday, 23 August 2021

GHC activities report: June–July 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli
Friday, 06 August 2021

GHC activities report: April–May 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Monday, 14 June 2021

GHC activities report: February–March 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Adam Gundry, David Eichmann, Alfredo Di Napoli, Douglas Wilson
Wednesday, 14 April 2021

GHC activities report: December–January 2020/2021
Ben Gamari, Andreas Klebinger, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering
Wednesday, 10 February 2021

GHC activities report: October–November 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh
Thursday, 03 December 2020

ICFP 2020 & MSFP 2020
Christine Gundry, Andres Löh, Duncan Coutts, Ben Gamari, Alfredo Di Napoli, David Eichmann, Oleg Grenrus
Monday, 07 September 2020

Implementing a GHC Plugin for Liquid Haskell
Alfredo Di Napoli
Friday, 28 August 2020