Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack. Union and intersection contracts are hard, actually. In Arjun Guha, editor, DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA, October 19, 2021. pages 1-11, ACM, 2021. [doi]
Abstract is missing.