Generic and flexible defaults for verified, law-abiding type-class instances.

Ryan G. Scott, Ryan R. Newton

Browse the full HASKELL paper archive.