{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:33Z","timestamp":1749318093900},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240114"},{"type":"electronic","value":"9783319240121"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24012-1_2","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T18:01:22Z","timestamp":1444154482000},"page":"16-30","source":"Crossref","is-referenced-by-count":2,"title":["Type Inference for GADTs and Anti-unification"],"prefix":"10.1007","author":[{"given":"Adelaine","family":"Gelain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristiano","family":"Vasconcellos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Camar\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/10705424_3","volume-title":"Functional and Logic Programming","author":"C Camar\u00e3o","year":"1999","unstructured":"Camar\u00e3o, C., Figueiredo, L.: Type inference for overloading without restrictions, declarations or annotations. In: Middeldorp, A., Sato, T. (eds.) FLOPS 1999. LNCS, vol. 1722, pp. 37\u201352. Springer, Heidelberg (1999)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Camar\u00e3o, C., Figueiredo, L., Vasconcellos, C.: Constraint-set Satisfiability for Overloading. In: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 67\u201377. ACM (2004)","DOI":"10.1145\/1013963.1013974"},{"key":"2_CR3","volume-title":"Model Theory: Dover Books on Mathematics","author":"CC Chang","year":"2012","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory: Dover Books on Mathematics, 3rd edn. North-Holland Press, New York (2012)","edition":"3"},{"key":"2_CR4","unstructured":"Demoen, B., de la Banda, M.G., Stuckey, P.J.: Type Constraint Solving for Parametric and Ad-hoc Polymorphism. In: Proceedings of the 22nd Australasian Computer Science Conference (1999)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Jones, M.: Simplifying and Improving Qualified Types. In: Proceedings of ACM Conference on Functional Programming and Computer Architecture, FPCA 1995, pp. 160\u2013169 (1995)","DOI":"10.1145\/224164.224198"},{"issue":"9","key":"2_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1160074.1159811","volume":"41","author":"SP Jones","year":"2006","unstructured":"Jones, S.P., Vytiniotis, D., Weirich, S., Washburn, G.: Simple unification-based type inference for GADTs. SIGPLAN Not. 41(9), 50\u201361 (2006)","journal-title":"SIGPLAN Not."},{"key":"2_CR7","unstructured":"Jones, S.P., Washburn, G., Weirich, S.: Wobbly types: type inference for generalised algebraic data types. Technical report MS-CIS-05-26, University of Pennsylvania, Microsoft Research (2004). \n                    http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=65143"},{"key":"2_CR8","unstructured":"Lin, C.K.: Practical type inference for the GADT type system. Ph.D. thesis, Portland State University, Portland, OR, USA (2010)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Lin, C.K., Sheard, T.: Pointwise generalized algebraic data types. In: Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI 2010, pp. 51\u201362. ACM, New York (2010)","DOI":"10.1145\/1708016.1708024"},{"issue":"1","key":"2_CR10","first-page":"153","volume":"5","author":"GD Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalisation. Mach. intell. 5(1), 153\u2013163 (1970)","journal-title":"Mach. intell."},{"key":"2_CR11","first-page":"101","volume":"6","author":"GD Plotkin","year":"1971","unstructured":"Plotkin, G.D.: A further note on inductive generalisation. Mach. Intell. 6, 101\u2013124 (1971)","journal-title":"Mach. Intell."},{"issue":"1","key":"2_CR12","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/1111320.1111058","volume":"41","author":"F Pottier","year":"2006","unstructured":"Pottier, F., R\u00e9gis-Gianas, Y.: Stratified type inference for generalized algebraic data types. SIGPLAN Not. 41(1), 232\u2013244 (2006)","journal-title":"SIGPLAN Not."},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s13173-013-0103-0","volume":"19","author":"R Ribeiro","year":"2013","unstructured":"Ribeiro, R., Camar\u00e3o, C.: Ambiguity and context-dependent overloading. J. Braz. Comput. Soc. 19(3), 313\u2013324 (2013)","journal-title":"J. Braz. Comput. Soc."},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s13173-013-0107-9","volume":"19","author":"R Ribeiro","year":"2013","unstructured":"Ribeiro, R., Camar\u00e3o, C., Figueiredo, L.: Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. J. Braz. Comput. Soc. 19(4), 423\u2013432 (2013)","journal-title":"J. Braz. Comput. Soc."},{"issue":"9","key":"2_CR15","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/1631687.1596599","volume":"44","author":"T Schrijvers","year":"2009","unstructured":"Schrijvers, T., Jones, S.P., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. SIGPLAN Not. 44(9), 341\u2013352 (2009)","journal-title":"SIGPLAN Not."},{"key":"2_CR16","unstructured":"Smith, G.: Polymorphic type inference for languages with overloading and subtyping. Ph.D. thesis, Cornell University (1991)"},{"issue":"2\u20133","key":"2_CR17","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(94)00020-4","volume":"23","author":"G Smith","year":"1994","unstructured":"Smith, G.: Principal type schemes for functional programs with overloading and subtyping. Sci. Comput. Program. 23(2\u20133), 197\u2013226 (1994)","journal-title":"Sci. Comput. Program."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Stuckey, P., Sulzmann, M.: A Theory of overloading. In: Proceedings of the 7th ACM International Conference on Functional Programming, pp. 167\u2013178 (2002)","DOI":"10.1145\/583852.581495"},{"key":"2_CR19","unstructured":"Sulzmann, M., Schrijvers, T., Stuckey, P.J.: Type Inference for GADTs via Herbrand Constraint Abduction (2008)"},{"key":"2_CR20","unstructured":"Team, G., et al.: The Glorious Glasgow Haskell Compilation System User\u2019s Guide, Version 7.10.1 (2015)"},{"key":"2_CR21","unstructured":"Vasconcellos, C.: Infer\u00eancia de tipos com suporte para sobrecarga baseada no sistema CT. Ph.D. thesis, Universidade Federal de Minas Gerais, Minas Gerais, Brasil (2004)"},{"issue":"4\u20135","key":"2_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1017\/S0956796811000098","volume":"21","author":"D Vytiniotis","year":"2011","unstructured":"Vytiniotis, D., Jones, S.P., Schrijvers, T., Sulzmann, M.: OutsideIn(X): modular type inference with local assumptions. J. Funct. Program. 21(4\u20135), 333\u2013412 (2011)","journal-title":"J. Funct. Program."}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24012-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T03:59:07Z","timestamp":1559275147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24012-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240114","9783319240121"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24012-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}