Blame assignment for higher-order contracts with intersection and union

@inproceedings{Keil2015BlameAF,
  title={Blame assignment for higher-order contracts with intersection and union},
  author={Matthias Keil and Peter Thiemann},
  booktitle={ICFP},
  year={2015}
}
We present an untyped calculus of blame assignment for a higher-order contract system with two new operators: intersection and union. The specification of these operators is based on the corresponding type theoretic constructions. This connection makes intersection and union contracts their inevitable dynamic counterparts with a range of desirable… CONTINUE READING