Fairouz Kamareddine, Joe B. Wells. Intersection Types via Finite-Set Declarations. In George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings. Volume 14672 of Lecture Notes in Computer Science, pages 80-92, Springer, 2024. [doi]
Abstract is missing.