{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:18Z","timestamp":1761611058860},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,2,1]],"date-time":"1996-02-01T00:00:00Z","timestamp":823132800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,2]]},"DOI":"10.1007\/s002360050035","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:47:25Z","timestamp":1030261645000},"page":"21-68","source":"Crossref","is-referenced-by-count":9,"title":["Kinded type inference for parameteric overloading"],"prefix":"10.1007","volume":"33","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]},{"given":"Gordon","family":"Cormack","sequence":"additional","affiliation":[]},{"given":"John","family":"Ophel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"60330021236_CR1","doi-asserted-by":"crossref","unstructured":"Alexander Aiken, Edward L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 163\u2013173. ACM Press, 1994.","DOI":"10.1145\/174675.177847"},{"key":"60330021236_CR2","doi-asserted-by":"crossref","unstructured":"Roberto Amadio and Luca Cardelli. Subtyping recursive types. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 104\u2013118. ACM Press, 1991.","DOI":"10.1145\/99583.99600"},{"key":"60330021236_CR3","first-page":"254","volume-title":"Functional Programming Workshop","author":"Stephen Blott","year":"1989","unstructured":"Stephen Blott. Type inference and type classes. In Functional Programming Workshop, pages 254\u2013265, Glasgow, Scotland, 1989. Springer-Verlag."},{"key":"60330021236_CR4","doi-asserted-by":"crossref","unstructured":"Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. F-bounded polymorphism for object-oriented programming. In Proceedings of ACM Symposium on Functional Programming and Computer Architecture, pages 273\u2013280. ACM Press, 1989.","DOI":"10.1145\/99370.99392"},{"key":"60330021236_CR5","doi-asserted-by":"crossref","unstructured":"Robert Cartwright and Michael Fagan. Soft typing. In Proceedings of ACM S1GPLAN Conference on Programming Language Design and Implementation, pages 278\u2013292. ACM Press, 1991.","DOI":"10.1145\/113445.113469"},{"key":"60330021236_CR6","doi-asserted-by":"crossref","unstructured":"Kung Chen, Paul Hudak, and Martin Odersky. Parameteric type classes (extended abstract). In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 170\u2013181. ACM Press, 1992.","DOI":"10.1145\/141478.141536"},{"issue":"2\/3","key":"60330021236_CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"Thierry Coquand","year":"1988","unstructured":"Thierry Coquand and Gerard Huet. The calculus of constructions. Information and Computation, 76(2\/3):95\u2013120, 1988.","journal-title":"Information and Computation"},{"key":"60330021236_CR8","doi-asserted-by":"crossref","unstructured":"Gordon Cormack and Andrew Wright. Type-dependent parameter inference. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 127\u2013136. ACM Press, 1990.","DOI":"10.1145\/93542.93560"},{"key":"60330021236_CR9","unstructured":"Dominic Duggan. Polymorphic methods with self types for ML-like languages. Technical Report CS-95-03, University of Waterloo, Department of Computer Science, 1995."},{"key":"60330021236_CR10","unstructured":"Dominic Duggan and John Ophel. Kinded parametric overloading. Technical Report CS-94-35, University of Waterloo, Department of Computer Science, September 1994. Supersedes CS-94-15 and CS-94-16, March 1994, and CS-93-32, August 1993."},{"key":"60330021236_CR11","doi-asserted-by":"crossref","unstructured":"Tim Freeman and Frank Pfenning. Refinement types for ML. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 268\u2013277. ACM Press, 1991.","DOI":"10.1145\/113445.113468"},{"key":"60330021236_CR12","first-page":"266","volume-title":"Functional Programming Workshop","author":"Kevin Hammond","year":"1989","unstructured":"Kevin Hammond and Stephen Blott. Implementing Haskell type classes. In Functional Programming Workshop, pages 266\u2013286, Glasgow, Scotland, 1989. Springer-Verlag."},{"key":"60330021236_CR13","doi-asserted-by":"crossref","unstructured":"Paul Hudak and Joseph Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27(5), 1992.","DOI":"10.1145\/130697.130698"},{"key":"60330021236_CR14","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon Peyton-Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Maria M. Guzman, Kevin Hammond, John Hughes, Thomas Johnsson, Richard Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell, a non-strict purely functional language, Version 1.2. ACM SIGPLAN Notices, 27(5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"60330021236_CR15","unstructured":"Mark Jones. An introduction to Gofer. Available via ftp from nebula.cs.yale.edu in pub\/haskell\/gofer, 1991."},{"key":"60330021236_CR16","doi-asserted-by":"crossref","unstructured":"Mark Jones. A theory of qualified types. In European Symposium on Programming, pages 287\u2013306. Springer-Verlag, 1992. Lecture Notes in Computer Science 582.","DOI":"10.1007\/3-540-55253-7_17"},{"key":"60330021236_CR17","doi-asserted-by":"crossref","unstructured":"Mark Jones. A system of constructor classes: Overloading and implicit higher-order polymorphism. In Proceedings of ACM Symposium on Functional Programming and Computer Architecture, pages 1\u201310. Springer-Verlag, 1993. Lecture Notes in Computer Science 594.","DOI":"10.1145\/165180.165190"},{"key":"60330021236_CR18","doi-asserted-by":"crossref","unstructured":"Stefan Kaes. Parametric overloading in polymorphic programming languages. In European Symposium on Programming, pages 131\u2013144. Springer-Verlag, 1988. Lecture Notes in Computer Science 300.","DOI":"10.1007\/3-540-19027-9_9"},{"key":"60330021236_CR19","doi-asserted-by":"crossref","unstructured":"Stefan Kaes. Type inference in the presence of overloading, subtyping and recursive types. In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 193\u2013204. ACM Press, 1992.","DOI":"10.1145\/141471.141540"},{"key":"60330021236_CR20","doi-asserted-by":"crossref","unstructured":"John WLloyd. Foundations of Logic Programming. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"60330021236_CR21","unstructured":"Zhaohui Luo and Robert Pollack. LEGO proof development system: User\u2019s manual. Technical Report ECS-LFCS-92-211, Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, The King\u2019s Buildings, Edinburgh EH9 3JZ, Scotland, May 1992. Updated version."},{"issue":"2","key":"60330021236_CR22","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258\u2013282, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"60330021236_CR23","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"60330021236_CR24","unstructured":"Prateek Mishra. Towards a theory of types for logic programming. In Proceedings of the IEEE Symposium on Logic Programming, pages 289\u2013298. IEEE, 1984."},{"key":"60330021236_CR25","doi-asserted-by":"crossref","unstructured":"Prateek Mishra and Uday Reddy. Declaration-free type checking. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 7\u201321. ACM Press, 1985.","DOI":"10.1145\/318593.318603"},{"key":"60330021236_CR26","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow and Christian Prehofer. Type checking type classes. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 409\u2013418. ACM Press, 1993.","DOI":"10.1145\/158511.158698"},{"key":"60330021236_CR27","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow and Gregor Snelting. Type classes and overloading resolution via order-sorted unification. In Proceedings of ACM Symposium on Functional Programming and Computer Architecture, pages 1\u201314. Springer-Verlag, 1991. Lecture Notes in Computer Science 523.","DOI":"10.1007\/3540543961_1"},{"key":"60330021236_CR28","unstructured":"John Ophel and Dominic Duggan. Multi-Parameter Parametric Overloading. Submitted for publication, 1995."},{"key":"60330021236_CR29","unstructured":"Frank Pfenning, editor. Types in Logic Programming. MIT Press, 1992."},{"key":"60330021236_CR30","doi-asserted-by":"crossref","unstructured":"Frank Pfenning and Peter Lee. LEAP: A language with eval and polymorphism. In TAPSOFT\u201989: Proceedings of the International Joint Conference on Theory and Practice in Software Development, pages 345\u2013359. Springer-Verlag, 1989. Lecture Notes in Computer Science 352.","DOI":"10.1007\/3-540-50940-2_46"},{"key":"60330021236_CR31","unstructured":"Francois Rouaix. Alcool-90: Typage de la Surcharge dans un Langage Fontionnel. PhD thesis, L\u2019Universit\u00e9 Paris VII, December 1990."},{"key":"60330021236_CR32","doi-asserted-by":"crossref","unstructured":"Francois Rouaix. Safe run-time overloading. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 355\u2013366. ACM Press, 1990.","DOI":"10.1145\/96709.96746"},{"key":"60330021236_CR33","unstructured":"Geoffry Smith. Combining Overloading and Subtyping with Parameteric Polymorphism. PhD thesis, Cornell University, 1991."},{"key":"60330021236_CR34","doi-asserted-by":"crossref","unstructured":"Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, pages 38\u201345. ACM Press, 1986.","DOI":"10.1145\/28697.28702"},{"key":"60330021236_CR35","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice-theoretical fixed point theorem and its applications. Pacific Journal of Mathematics, 5:285\u2013309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"key":"60330021236_CR36","doi-asserted-by":"crossref","unstructured":"Denis Volpano and Geoffrey Smith. On the complexity of ML typability with overloading. In Proceedings of ACM Symposium on Functional Programming and Computer Architecture, pages 15\u201328. Springer-Verlag, 1991. Lecture Notes in Computer Science 523.","DOI":"10.1007\/3540543961_2"},{"key":"60330021236_CR37","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Comprehending monads. In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 61\u201377. ACM, June 1990.","DOI":"10.1145\/91556.91592"},{"key":"60330021236_CR38","doi-asserted-by":"crossref","unstructured":"Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad-hoc. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 60\u201376. ACM Press, 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050035.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s002360050035\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,7]],"date-time":"2020-01-07T16:26:53Z","timestamp":1578414413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s002360050035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,2]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,2]]}},"alternative-id":["60330021236"],"URL":"https:\/\/doi.org\/10.1007\/s002360050035","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,2]]}}}