Blame assignment for higher-order contracts with intersection and union.

Matthias Keil, Peter Thiemann

Browse the full ICFP paper archive.