Vol-3376⫷ Vol-3377 ⫸Vol-3378
urn:nbn:de:0074-3377-0


Vol-3377/fmm11⫷Vol-3377/fmm12⫸Vol-3377/fmm13
Alex J. Best

Automatically Generalizing Theorems Using Typeclasses (short paper)