Posts tagged ‘liquidhaskell’

MuniHac 2020
Christine Gundry, Andres Löh, Duncan Coutts, Edsko de Vries
Thursday, 17 September 2020

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