Skip to content

Ghosts of departed proofs (functional pearl).

Matt Noonan

Year2018
ProceedingsHaskell@ICFP

Browse the full HASKELL paper archive.