Closed type families with overlapping equations.

Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich

Browse the full POPL paper archive.