Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study.

Dominique Devriese

Browse the full HASKELL paper archive.