{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T04:10:02Z","timestamp":1750479002379},"reference-count":22,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80346-3","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"56-72","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Type Inference using Constraint Handling Rules"],"prefix":"10.1016","volume":"64","author":[{"given":"Sandra","family":"Alves","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB1","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/BFb0017444","article-title":"Operational semantics and confluence of constraint propagation rules","author":"Abdennadher","year":"1997","journal-title":"Principles and Practice of Constraint Programming"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB2","doi-asserted-by":"crossref","unstructured":"A. Aiken and E.L. Wimmers. Type inclusion constraints and type inference. In Conference on Functional Programming Languages and Computer Architechture, 1993.","DOI":"10.1145\/165180.165188"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Sandra Alves and M\u00e1rio Florido. Type Inference using Constraint Handling Rules. In International Workshop on Functional and (Constraint) Logic Programming, Kiel, Germany, September 2001.","DOI":"10.1016\/S1571-0661(04)80346-3"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB4","series-title":"The Lambda Calculus, volume 103 of Studies in Logic and the Foundations of Mathematics","author":"Barendregt","year":"1984"},{"issue":"4","key":"10.1016\/S1571-0661(04)80346-3_NEWBIB5","doi-asserted-by":"crossref","DOI":"10.1145\/6041.6042","article-title":"On understanding types, data abstraction and polymorphism","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB6","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB7","doi-asserted-by":"crossref","unstructured":"J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to object oriented programming. Eletronic Notes in Theoretical Computer Science, 1, 1995.","DOI":"10.1016\/S1571-0661(04)80008-2"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Pottier F. Simplifying subtyping constraints. In International Conference on Functional Programming, 1996.","DOI":"10.1145\/232627.232642"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB9","doi-asserted-by":"crossref","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and practice of constraint handling rules","volume":"37","author":"Fruhwirth","year":"1998","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB10","unstructured":"K. Glynn, P. Stuckey, and Sulzmann M. Type classes and constraint handling rules. In Workshop on Rule-Based Constraint Reasoning and Programming, 2000."},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In Conference record of the 14th annual ACM symposium on principles of programming languages, pages 111 \u2013 119, Munich, Germany, 1987.","DOI":"10.1145\/41625.41635"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB12","series-title":"Foundations of Logic Programming.","author":"Lloyd","year":"1987"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow and Christian Prehofer. Type checking type classes. In Proc. 20th ACM Symp. Principles of Programming Languages. ACM Press, 1993.","DOI":"10.1145\/158511.158698"},{"issue":"2","key":"10.1016\/S1571-0661(04)80346-3_NEWBIB14","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1017\/S0956796800001325","article-title":"Type reconstruction for type classes","volume":"5","author":"Nipkow","year":"1995","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB15","series-title":"Functional Programming & Computer Architecture","article-title":"A second look at overloading","author":"Odersky","year":"1995"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB16","article-title":"A polymorphic record calculus and its compilation","volume":"6","author":"Ohori","year":"1995","journal-title":"ACM TOPLAS"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB17","series-title":"ACM Doctoral Dissertation Awards","article-title":"Concurrent Constraint Programming","author":"Vijay Saraswat","year":"1993"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB18","unstructured":"P. Stuckey and M. Sulzmann. A systematic approach in type system design based on Constraint Handling Rules. In Third Workshop on Rule-Based Constraint Reasoning and Programming, Cyprus, December 2001."},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB19","doi-asserted-by":"crossref","unstructured":"Martin Sulzmann. A General Framework for Hindley\/Milner Type Systems with Constraints. PhD thesis, Yale University, Department of Computer Science, May 2000.","DOI":"10.1007\/3-540-44716-4_16"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB20","doi-asserted-by":"crossref","unstructured":"Martin Sulzmann. A General Type Inference Framework for Hindley\/Milner Style Systems. In 5th International Symposium on Functional and Logic Programming (FLOPS), Tokyo, Japan, March 2001.","DOI":"10.1007\/3-540-44716-4_16"},{"issue":"1","key":"10.1016\/S1571-0661(04)80346-3_NEWBIB21","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<35::AID-TAPO4>3.0.CO;2-4","article-title":"Type Inference with Constrained Types","volume":"5","author":"Sulzmann","year":"1999","journal-title":"Theory and Practice of Object Systems"},{"key":"10.1016\/S1571-0661(04)80346-3_NEWBIB22","doi-asserted-by":"crossref","unstructured":"Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In 16'th ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803463?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803463?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T02:51:44Z","timestamp":1585882304000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":22,"alternative-id":["S1571066104803463"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80346-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}