{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:49:12Z","timestamp":1775868552037,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159838","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"251-262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Boxy types"],"prefix":"10.1145","author":[{"given":"Dimitrios","family":"Vytiniotis","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Stephanie","family":"Weirich","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Simon","family":"Peyton Jones","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652533"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2830"},{"key":"e_1_3_2_1_5_1","volume-title":"SIGPLAN International Conference on Functional Programming (ICFP'05)","author":"ACM","year":"2005","unstructured":"ACM SIGPLAN International Conference on Functional Programming (ICFP'05) , Tallinn, Estonia , September 2005 . ACM. ACM SIGPLAN International Conference on Functional Programming (ICFP'05), Tallinn, Estonia, September 2005. ACM."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263765"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182456"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944709"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086385"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"Dynamics in ML","author":"Leroy X","year":"1991","unstructured":"X Leroy and M Mauny . Dynamics in ML . In RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lecture Notes in Computer Science , Boston, 1991 . Springer Verlag . X Leroy and M Mauny. Dynamics in ML. In RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lecture Notes in Computer Science, Boston, 1991. Springer Verlag."},{"key":"e_1_3_2_1_13_1","volume-title":"December","author":"Milner R","year":"1978","unstructured":"R Milner . A theory of type polymorphism in programming. JCSS, 13(3) , December 1978 . R Milner. A theory of type polymorphism in programming. JCSS, 13(3), December 1978."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800529"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237729"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360207"},{"key":"e_1_3_2_1_17_1","volume-title":"The implementation of practical functional programming languages. Ph. D. thesis","author":"Perry N","year":"1991","unstructured":"N Perry . The implementation of practical functional programming languages. Ph. D. thesis , Imperial College , London , 1991 . N Perry. The implementation of practical functional programming languages. Ph. D. thesis, Imperial College, London, 1991."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_20_1","first-page":"389","volume-title":"Advanced Topics in Types and Programming Languages","author":"Pottier Fran\u00e7ois","year":"2005","unstructured":"Fran\u00e7ois Pottier and Didier R\u00e9my . The essence of ML type inference . In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages , chapter 10, pages 389 -- 489 . MIT Press , 2005 . Fran\u00e7ois Pottier and Didier R\u00e9my. The essence of ML type inference. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 10, pages 389--489. MIT Press, 2005."},{"key":"e_1_3_2_1_21_1","first-page":"130","volume-title":"ICFP05 {5}","author":"R\u00e9my Didier","unstructured":"Didier R\u00e9my . Simple , partial type inference for System F, based on type containment . In ICFP05 {5} , pages 130 -- 143 . Didier R\u00e9my. Simple, partial type inference for System F, based on type containment. In ICFP05 {5}, pages 130--143."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/997140.997142"},{"key":"e_1_3_2_1_23_1","volume-title":"Microsoft Research","author":"Shields Mark","year":"2002","unstructured":"Mark Shields and Simon Peyton Jones . Lexically scoped type variables . Microsoft Research , 2002 . Mark Shields and Simon Peyton Jones. Lexically scoped type variables. Microsoft Research, 2002."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231414"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788837"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:39Z","timestamp":1693843419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159838"}},"subtitle":["inference for higher-rank types and impredicativity"],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":24,"alternative-id":["10.1145\/1159803.1159838","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159838","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159838","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}