QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).

Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone

Browse the full HASKELL paper archive.