Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell.

Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou

Browse the full HASKELL paper archive.