{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:00Z","timestamp":1772164080891,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004682","name":"Oracle","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004682","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951928","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"378-391","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Set-theoretic types for polymorphic variants"],"prefix":"10.1145","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[{"name":"University of Paris Diderot, France"}]},{"given":"Tommaso","family":"Petrucciani","sequence":"additional","affiliation":[{"name":"University of Genoa, Italy \/ University of Paris Diderot, France"}]},{"given":"Kim","family":"Nguy\u1ec5n","sequence":"additional","affiliation":[{"name":"University of Paris-Sud, France"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_20"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"73","volume-title":"Automata, Languages, and Programming - 41st International Colloquium (ICALP)","author":"Bonsangue M.","unstructured":"M. Bonsangue , J. Rot , D. Ancona , F. de Boer , and J. Rutten . A coalgebraic foundation for coinductive union types . In Automata, Languages, and Programming - 41st International Colloquium (ICALP) , volume 8573 of Lecture Notes in Computer Science , pages 62\u2013 73 . Springer, 2014. M. Bonsangue, J. Rot, D. Ancona, F. de Boer, and J. Rutten. A coalgebraic foundation for coinductive union types. In Automata, Languages, and Programming - 41st International Colloquium (ICALP), volume 8573 of Lecture Notes in Computer Science, pages 62\u201373. Springer, 2014."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034788"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535840"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676991"},{"key":"e_1_3_2_1_7_1","volume-title":"Universit\u00e9 Paris Diderot","author":"Castagna G.","year":"2016","unstructured":"G. Castagna , T. Petrucciani , and K. Nguyen . Set-theoretic types for polymorphic variants. Technical report , Universit\u00e9 Paris Diderot , May 2016 . G. Castagna, T. Petrucciani, and K. Nguyen. Set-theoretic types for polymorphic variants. Technical report, Universit\u00e9 Paris Diderot, May 2016."},{"key":"e_1_3_2_1_8_1","unstructured":"Extended version. https:\/\/hal.archives-ouvertes.fr\/view\/index\/docid\/1325644. CDuce. http:\/\/www.cduce.org. {C AML - LIST 1}. Polymorphic variant difference. https:\/\/goo.gl\/WlPgdY May 2007. OCaml mailing list post. {C AML - LIST 2}. Variant filtering. https:\/\/goo.gl\/d7DQhU Feb. 2000.  Extended version. https:\/\/hal.archives-ouvertes.fr\/view\/index\/docid\/1325644. CDuce. http:\/\/www.cduce.org. {C AML - LIST 1}. Polymorphic variant difference. https:\/\/goo.gl\/WlPgdY May 2007. OCaml mailing list post. {C AML - LIST 2}. Variant filtering. https:\/\/goo.gl\/d7DQhU Feb. 2000."},{"key":"e_1_3_2_1_9_1","volume-title":"Feb.","author":"Caml","year":"2005","unstructured":"O Caml mailing list post. {C AML - LIST 3}. Polymorphic variant typing. https:\/\/goo.gl\/O054v1 , Feb. 2005 . OCaml mailing list post. {C AML - LIST 4}. Getting rid of impossible polymorphic variant tags from inferred types. https:\/\/goo.gl\/ELougz, Mar. 2004. OCaml mailing list post. R. Davies. Practical Refinement-Type Checking. PhD thesis, Carnegie Mellon University, May 2005. OCaml mailing list post. {C AML - LIST 3}. Polymorphic variant typing. https:\/\/goo.gl\/O054v1, Feb. 2005. OCaml mailing list post. {C AML - LIST 4}. Getting rid of impossible polymorphic variant tags from inferred types. https:\/\/goo.gl\/ELougz, Mar. 2004. OCaml mailing list post. R. Davies. Practical Refinement-Type Checking. PhD thesis, Carnegie Mellon University, May 2005."},{"key":"e_1_3_2_1_11_1","first-page":"146","volume-title":"17th Annual IEEE Symposium on Logic in Computer Science","author":"Frisch A.","unstructured":"A. Frisch , G. Castagna , and V. Benzaken . Semantic Subtyping. In LICS \u201902 , 17th Annual IEEE Symposium on Logic in Computer Science , pages 137\u2013 146 . IEEE Computer Society Press, 2002. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In LICS \u201902, 17th Annual IEEE Symposium on Logic in Computer Science, pages 137\u2013146. IEEE Computer Society Press, 2002."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391289.1391293"},{"key":"e_1_3_2_1_13_1","volume-title":"ACM SIGPLAN Workshop on ML","author":"Garrigue J.","year":"1998","unstructured":"J. Garrigue . Programming with polymorphic variants . In ACM SIGPLAN Workshop on ML , 1998 . Informal proceedings. J. Garrigue. Simple type inference for structural polymorphism. In International Workshop on Foundations of Object-Oriented Languages (FOOL), 2002. Informal proceedings. J. Garrigue. Typing deep pattern-matching in presence of polymorphic variants. In JSSST Workshop on Programming and Programming Languages , 2004. J. Garrigue. Programming with polymorphic variants. In ACM SIGPLAN Workshop on ML, 1998. Informal proceedings. J. Garrigue. Simple type inference for structural polymorphism. In International Workshop on Foundations of Object-Oriented Languages (FOOL), 2002. Informal proceedings. J. Garrigue. Typing deep pattern-matching in presence of polymorphic variants. In JSSST Workshop on Programming and Programming Languages, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129513000066"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006223"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_21"},{"key":"e_1_3_2_1_17_1","volume-title":"Universit\u00e0 degli studi di Genova","author":"Petrucciani T.","year":"2015","unstructured":"T. Petrucciani . A set-theoretic type system for polymorphic variants in ML. Master\u2019s thesis , Universit\u00e0 degli studi di Genova , 2015 . T. Petrucciani. A set-theoretic type system for polymorphic variants in ML. Master\u2019s thesis, Universit\u00e0 degli studi di Genova, 2015."},{"key":"e_1_3_2_1_19_1","volume-title":"Birkh\u00e4user","author":"Reynolds J. C.","year":"1997","unstructured":"J. C. Reynolds . Algol-like Languages, chapter Design of the Programming Language Forsythe, pages 173\u2013233 . Birkh\u00e4user , Boston, MA , 1997 . ISBN 978-1-4612-4118-8. Peter W. O\u2019Hearn and Robert D. Tennent (eds.). S. Tobin-Hochstadt and M. Felleisen. The design and implementation of typed scheme. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 395\u2013406, 2008. J. C. Reynolds. Algol-like Languages, chapter Design of the Programming Language Forsythe, pages 173\u2013233. Birkh\u00e4user, Boston, MA, 1997. ISBN 978-1-4612-4118-8. Peter W. O\u2019Hearn and Robert D. Tennent (eds.). S. Tobin-Hochstadt and M. Felleisen. The design and implementation of typed scheme. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 395\u2013406, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863561"},{"key":"e_1_3_2_1_21_1","volume-title":"May","author":"Wegrzanowski T.","year":"2006","unstructured":"T. Wegrzanowski . Variant types in OCaml suck. http:\/\/goo.gl\/bY0bMA , May 2006 . Blog post. T. Wegrzanowski. Variant types in OCaml suck. http:\/\/goo.gl\/bY0bMA, May 2006. Blog post."}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951928","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:37Z","timestamp":1750203577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":19,"alternative-id":["10.1145\/2951913.2951928","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951928","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951928","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}