%0 Conference Paper %1 conf/popl/Castagna0XILP14 %A Castagna, Giuseppe %A Nguyen, Kim %A Xu, Zhiwu %A Im, Hyeonseung %A Lenglet, Sergueï %A Padovani, Luca %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K dblp %P 5-18 %T Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#Castagna0XILP14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/Castagna0XILP14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Castagna, Giuseppe and Nguyen, Kim and Xu, Zhiwu and Im, Hyeonseung and Lenglet, Sergueï and Padovani, Luca}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21341474306eb78c3c54b7d74f783d166/dblp}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2535838.2535840}, interhash = {72be8c0960fd747daca4fd83a04fd26b}, intrahash = {1341474306eb78c3c54b7d74f783d166}, isbn = {978-1-4503-2544-8}, keywords = {dblp}, pages = {5-18}, publisher = {ACM}, timestamp = {2019-09-27T22:08:00.000+0200}, title = {Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#Castagna0XILP14}, year = 2014 }