@inproceedings{castagna:hal-00907166, TITLE = {{Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation}}, AUTHOR = {Castagna, Giuseppe and Nguyen, Kim and Xu, Zhiwu and Im, Hyeonseung and Lenglet, Sergue{\"i} and Padovani, Luca}, URL = {https://hal.science/hal-00907166}, BOOKTITLE = {{POPL '14, 41th ACM Symposium on Principles of Programming Languages}}, ADDRESS = {San Diego, United States}, PAGES = {5-17}, YEAR = {2014}, MONTH = Jan, DOI = {10.1145/2535838.2535840}, KEYWORDS = {intersection types ; functional languages ; Types ; polymorphism ; XML}, HAL_ID = {hal-00907166}, HAL_VERSION = {v1}, }