# Reference

0. []()
0. [Programming with union, intersection, and negation types](https://arxiv.org/abs/2111.03354)
0. [Union and intersection contracts are hard, actually](https://www.tweag.io/blog/2022-04-28-union-intersection-contracts/)
	0. [Union and intersection contracts are hard, actually](https://arxiv.org/abs/2106.06278)