{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:21Z","timestamp":1750221261571,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T00:00:00Z","timestamp":1537401600000},"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":[[2018,9,20]]},"DOI":"10.1145\/3264637.3264644","type":"proceedings-article","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T12:11:35Z","timestamp":1536581495000},"page":"51-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Type inference for GADTs, outsidein and anti-unification"],"prefix":"10.1145","author":[{"given":"Gabriela","family":"Moreira","sequence":"first","affiliation":[{"name":"Santa Catarina State University, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristiano","family":"Vasconcellos","sequence":"additional","affiliation":[{"name":"Santa Catarina State University, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Federal University of Ouro Preto, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013974"},{"key":"e_1_3_2_1_2_1","unstructured":"C.C. Chang and H.J. Keisler. 2012. Model Theory. Dover Books on Mathematics. 3rd ed.  C.C. Chang and H.J. Keisler. 2012. Model Theory. Dover Books on Mathematics. 3rd ed."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837665"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2830"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03542-0_19"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24012-1_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. 2003. Fun with phantom types. In The fun of programming Jeremey Gibbons and Oege de Moor (Eds.). Palgrave 245--262.  Ralf Hinze. 2003. Fun with phantom types. In The fun of programming Jeremey Gibbons and Oege de Moor (Eds.). Palgrave 245--262.","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160074.1159811"},{"volume-title":"Wobbly Types: Type Inference for Generalised Algebraic Data Types. Technical Report MS-CIS-05--26","year":"2004","author":"Jones Simon Peyton","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"Chuan-Kai Lin. 2010. Practical Type Inference for the GADT Type System. Ph.D. Dissertation. Portland OR USA. Advisor(s) Tim Sheard.   Chuan-Kai Lin. 2010. Practical Type Inference for the GADT Type System. Ph.D. Dissertation. Portland OR USA. Advisor(s) Tim Sheard."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708024"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647326.721798"},{"key":"e_1_3_2_1_14_1","unstructured":"Gordon D Plotkin. 1970. A note on inductive generalisation. Machine intelligence 5 1 (1970) 153--163.  Gordon D Plotkin. 1970. A note on inductive generalisation. Machine intelligence 5 1 (1970) 153--163."},{"key":"e_1_3_2_1_15_1","first-page":"101","article-title":"A further note on inductive generalisation","volume":"6","author":"Plotkin Gordon D","year":"1971","journal-title":"Machine Intelligence"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111058"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1631687.1596599"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052897"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088356"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581495"},{"key":"e_1_3_2_1_21_1","unstructured":"Martin Sulzmann Tom Schrijvers and Peter J. Stuckey. 2008. Type Inference for GADTs via Herbrand Constraint Abduction.  Martin Sulzmann Tom Schrijvers and Peter J. Stuckey. 2008. Type Inference for GADTs via Herbrand Constraint Abduction."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"}],"event":{"name":"SBLP 2018: XXII Brazilian Symposium on Programming Languages","acronym":"SBLP 2018","location":"Sao Carlos Brazil"},"container-title":["Proceedings of the XXII Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264637.3264644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3264637.3264644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:54Z","timestamp":1750212654000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264637.3264644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,20]]},"references-count":21,"alternative-id":["10.1145\/3264637.3264644","10.1145\/3264637"],"URL":"https:\/\/doi.org\/10.1145\/3264637.3264644","relation":{},"subject":[],"published":{"date-parts":[[2018,9,20]]},"assertion":[{"value":"2018-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}