Statically Checkable Pattern Abstractions

Manuel Fähndrich, John Boyland. Statically Checkable Pattern Abstractions. In ICFP. pages 75-84, 1997.

Abstract

Abstract is missing.