Detecting common elements of types

Manfred Widera, Christoph Beierle. Detecting common elements of types. In Stephen Gilmore, editor, Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000. Volume 2 of Trends in Functional Programming, pages 173-184, Intellect, 2000.

Abstract

Abstract is missing.