blob: aa8abc587b76f0730472654cca87acd9fa436ba2 (
plain)
1
2
3
4
5
6
7
|
# 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)
|