Deriving class instances for datatypes

Christian Sternagel and René Thiemann
The Archive of Formal Proofs, 2015.

abstract   BibTeX    
AFP entry