{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:55:39Z","timestamp":1752983739946,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,2]],"date-time":"2007-10-02T00:00:00Z","timestamp":1191283200000},"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":[[2007,10,2]]},"DOI":"10.1145\/1292535.1292538","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Efficient type inference using ranked type variables"],"prefix":"10.1145","author":[{"given":"George","family":"Kuan","sequence":"first","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"MacQueen","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"unpublished note","author":"Damas Lu\u00eds","year":"1984","unstructured":"Lu\u00eds Damas . unpublished note , 1984 . Lu\u00eds Damas. unpublished note, 1984."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_15"},{"key":"e_1_3_2_1_4_1","volume-title":"16th European Symposium on Programming, ESOP 2007","volume":"4421","author":"Kuan George","year":"2007","unstructured":"George Kuan , David MacQueen , and Robert Bruce Findler . A rewriting semantics for type inference. In Rocco De Nicola, editor, Programming Languages and Systems , 16th European Symposium on Programming, ESOP 2007 , volume 4421 , March 2007 . George Kuan, David MacQueen, and Robert Bruce Findler. A rewriting semantics for type inference. In Rocco De Nicola, editor, Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, volume 4421, March 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158632"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99622"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96748"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_12_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_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Workshop on Types in Programming (TIP'02)","volume":"75","author":"Skalka Christian","year":"2002","unstructured":"Christian Skalka and Fran\u00e7ois Pottier . Syntactic type soundness for HM(X) . In Proceedings of the Workshop on Types in Programming (TIP'02) , volume 75 of Electronic Notes in Theoretical Computer Science, Dagstuhl, Germany , July 2002 . Christian Skalka and Fran\u00e7ois Pottier. Syntactic type soundness for HM(X). In Proceedings of the Workshop on Types in Programming (TIP'02), volume 75 of Electronic Notes in Theoretical Computer Science, Dagstuhl, Germany, July 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/229542.229544"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90018-D"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018828"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the 2007 workshop on Workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292538","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1292535.1292538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:49Z","timestamp":1750258669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,2]]},"references-count":16,"alternative-id":["10.1145\/1292535.1292538","10.1145\/1292535"],"URL":"https:\/\/doi.org\/10.1145\/1292535.1292538","relation":{},"subject":[],"published":{"date-parts":[[2007,10,2]]},"assertion":[{"value":"2007-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}