{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:08:23Z","timestamp":1774987703911,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T00:00:00Z","timestamp":1389139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,1,8]]},"DOI":"10.1145\/2535838.2535840","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T08:40:06Z","timestamp":1389688806000},"page":"5-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Polymorphic functions with set-theoretic types"],"prefix":"10.1145","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[{"name":"CNRS. Universit\u00e9 Paris Diderot, Paris, France"}]},{"given":"Kim","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Sud, Orsay, France"}]},{"given":"Zhiwu","family":"Xu","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Paris, France"}]},{"given":"Hyeonseung","family":"Im","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Sud, Orsay, France"}]},{"given":"Sergue\u00ef","family":"Lenglet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, Nancy, France"}]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2014,1,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2273659"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.046"},{"key":"e_1_3_2_2_4_1","volume-title":"November","author":"Castagna G.","year":"2013","unstructured":"G. Castagna , K. Nguyen , and Z. Xu . Polymorphic functions with set-theoretic types. Part 2: Local type inference and type reconstruction. Unpublished manuscript, available at http:\/\/hal.archives-ouvertes.fr\/hal-00880744 , November 2013 . G. Castagna, K. Nguyen, and Z. Xu. Polymorphic functions with set-theoretic types. Part 2: Local type inference and type reconstruction. Unpublished manuscript, available at http:\/\/hal.archives-ouvertes.fr\/hal-00880744, November 2013."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034788"},{"key":"e_1_3_2_2_6_1","volume-title":"Relax-NG","author":"Clark J.","year":"2001","unstructured":"J. Clark and M. Murata . Relax-NG , 2001 . www.relaxng.org. J. Clark and M. Murata. Relax-NG, 2001. www.relaxng.org."},{"key":"e_1_3_2_2_7_1","volume-title":"To H.B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism","author":"Coppo M.","year":"1980","unstructured":"M. Coppo , M. Dezani , and B. Venneri . Principal type schemes and lambda-calculus semantics . In To H.B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism . Academic Press , 1980 . M. Coppo, M. Dezani, and B. Venneri. Principal type schemes and lambda-calculus semantics. In To H.B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism. Academic Press, 1980."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964025"},{"key":"e_1_3_2_2_9_1","volume-title":"Xquery 3.0: An XML query language (working draft 2010\/12\/14)","author":"Robie J.","year":"2010","unstructured":"J. Robie Xquery 3.0: An XML query language (working draft 2010\/12\/14) , 2010 . http:\/\/www.w3.org\/TR\/xquery-30\/. J. Robie et al. Xquery 3.0: An XML query language (working draft 2010\/12\/14), 2010. http:\/\/www.w3.org\/TR\/xquery-30\/."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159829"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391289.1391293"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596527.1596529"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.03.005"},{"key":"e_1_3_2_2_14_1","volume-title":"Types and Programming Languages","author":"Pierce B.C.","year":"2002","unstructured":"B.C. Pierce . Types and Programming Languages . MIT Press , 2002 . B.C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_2_15_1","first-page":"389","volume-title":"Advanced Topics in Types and Programming Languages","author":"Pottier F.","year":"2005","unstructured":"F. Pottier and D. R\u00e9my . The essence of ML type inference . In B.C. Pierce, editor, Advanced Topics in Types and Programming Languages , chapter 10, pages 389 -- 489 . MIT Press , 2005 . F. Pottier and D. R\u00e9my. The essence of ML type inference. In B.C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 10, pages 389--489. MIT Press, 2005."},{"key":"e_1_3_2_2_16_1","volume-title":"Design of the programming language Forsythe","author":"Reynolds J.C.","year":"1996","unstructured":"J.C. Reynolds . Design of the programming language Forsythe . Technical Report Carnegie Mellon University-CS-96--146, Carnegie Mellon University , 1996 . J.C. Reynolds. Design of the programming language Forsythe. Technical Report Carnegie Mellon University-CS-96--146, Carnegie Mellon University, 1996."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/766951.766967"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80496-1"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85373-2_5"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111047"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004245"},{"key":"e_1_3_2_2_22_1","series-title":"LNCS","first-page":"115","volume-title":"ESOP'02","author":"Haack C.","year":"2002","unstructured":"J.B.Wells and C. Haack . Branching types . In ESOP'02 , volume 2305 of LNCS , pages 115 -- 132 . Springer , 2002 . J.B.Wells and C. Haack. Branching types. In ESOP'02, volume 2305 of LNCS, pages 115--132. Springer, 2002."}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Diego California USA","acronym":"POPL '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535840","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2535838.2535840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:24Z","timestamp":1750221564000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535840"}},"subtitle":["part 1: syntax, semantics, and evaluation"],"short-title":[],"issued":{"date-parts":[[2014,1,8]]},"references-count":22,"alternative-id":["10.1145\/2535838.2535840","10.1145\/2535838"],"URL":"https:\/\/doi.org\/10.1145\/2535838.2535840","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2578855.2535840","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,1,8]]},"assertion":[{"value":"2014-01-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}