Detecting common elements of types (2000)

by M Widera, C Beierle
Venue:Trends in Functional Programming, volume 2. Intellect