DMCA

Deriving class instances for datatypes.∗ (2015)

by Rene ́ Thiemann