@unpublished{castagna:hal-03389659, TITLE = {{Programming with union, intersection, and negation types}}, AUTHOR = {Castagna, Giuseppe}, URL = {https://cnrs.hal.science/hal-03389659}, NOTE = {working paper or preprint}, YEAR = {2021}, MONTH = Oct, KEYWORDS = {Type-theory ; Subtyping ; Union types ; Intersection types ; Negation types ; Polymorphism ; Overloading ; Semantic subtyping}, PDF = {https://cnrs.hal.science/hal-03389659/file/main.pdf}, HAL_ID = {hal-03389659}, HAL_VERSION = {v1}, }