{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:44:51Z","timestamp":1725475491581},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666776"},{"type":"electronic","value":"9783540479505"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10705424_3","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T00:25:50Z","timestamp":1167351950000},"page":"37-52","source":"Crossref","is-referenced-by-count":4,"title":["Type Inference for Overloading without Restrictions, Declarations or Annotations"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Camar\u00e3o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc\u00edlia","family":"Figueiredo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s002360050035","volume":"33","author":"D. Duggan","year":"1996","unstructured":"Duggan, D., Cormack, G., Ophel, J.: Kinded type inference for parametric overloading. Acta Informatica\u00a033(1), 21\u201368 (1996)","journal-title":"Acta Informatica"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type schemes for functional programs. In: POPL 1982, pp. 207\u2013212 (1982)","DOI":"10.1145\/582153.582176"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"C. Hall","year":"1996","unstructured":"Hall, C., Hammond, K., Jones, S.P., Wadler, P.: Type Classes in Haskell. ACM TOPLAS\u00a018(2), 109\u2013138 (1996)","journal-title":"ACM TOPLAS"},{"key":"3_CR4","unstructured":"Jones, S.P., et al.: GHC \u2013 The Glasgow Haskell Compiler (1998), Available at \n                  \n                    http:\/\/www.dcs.gla.ac.uk\/fp\/software\/ghc\/"},{"key":"3_CR5","unstructured":"Jones, S.P., Jones, M., Meijer, E.: Type classes: an exploration of the design space. In: ACM SIGPLAN Haskell Workshop (1997)"},{"key":"3_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663086","volume-title":"Qualified Types","author":"M. Jones","year":"1994","unstructured":"Jones, M.: Qualified Types. Cambridge University Press, Cambridge (1994)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796800001210","volume":"5","author":"M. Jones","year":"1995","unstructured":"Jon95. Mark Jones. A system of constructor classes: overloading and higher-order polymorphism. Journal of Functional Programming, 5:1{36, 1995. 38, 41","journal-title":"Journal of Functional Programming"},{"key":"3_CR8","unstructured":"Jones, S.P.: Bulk types with class. In: Trinder, P. (ed.) Eletronic Proc. 1996 Glasgow Workshop on Functional Programming (October 1996), \n                  \n                    http:\/\/ftp.dcs.glasgow.ac.uk\/fp\/workshops\/fpw96\/PeytonJones.ps.gz"},{"key":"3_CR9","unstructured":"Jones, M.: Hugs: The Haskell User\u2019s Gofer System (1998)"},{"key":"3_CR10","unstructured":"Jones, S.P.: Multi-parameter type classes in GHC (1998), Available at \n                  \n                    http:\/\/www.dcs.gla.ac.uk\/~simonpj\/multi-param.html"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-19027-9_9","volume-title":"ESOP \u201988","author":"S. Kaes","year":"1988","unstructured":"Kaes, S.: Parametric overloading in polymorphic programming languages. In: Ganzinger, H. (ed.) ESOP 1988. LNCS, vol.\u00a0300, pp. 131\u2013144. Springer, Heidelberg (1988)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"issue":"2\/3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0890-5401(88)90009-0","volume":"76","author":"J. Mitchell","year":"1988","unstructured":"Mitchell, J.: Polymorphic type inference and containment. Information and Computation\u00a076(2\/3), 211\u2013249 (1988)","journal-title":"Information and Computation"},{"key":"3_CR14","volume-title":"Foundations for programming languages","author":"J. Mitchell","year":"1996","unstructured":"Mitchell, J.: Foundations for programming languages. MIT Press, Cambridge (1996)"},{"key":"3_CR15","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1989","unstructured":"Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press, Cambridge (1989)"},{"issue":"1","key":"3_CR16","first-page":"1","volume":"1","author":"T. Nipkow","year":"1993","unstructured":"Nipkow, T., Prehofer, C.: Type Reconstruction for Type Classes. Journal of Functional Programming\u00a01(1), 1\u2013100 (1993)","journal-title":"Journal of Functional Programming"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Odersky, M., Wadler, P., Wehr, M.: A Second Look at Overloading. In: ACM Conf. Funct. Prog. Comp. Arch., pp. 135\u2013146 (1995)","DOI":"10.1145\/224164.224195"},{"key":"3_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511811326","volume-title":"ML for the Working Programmer","author":"L. Paulson","year":"1996","unstructured":"Paulson, L.: ML for the Working Programmer. Cambridge Univ. Press, Cambridge (1996)"},{"key":"3_CR19","unstructured":"Peterson, J., Hammond, K. (eds.): Rep. on the prog. lang. Haskell, a non-strict, purely funct. lang. (v1.4). Techn. rep., Haskell committee (1997)"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine oriented logic based on the resolution principle. JACM\u00a012(1), 23\u201341 (1965)","journal-title":"JACM"},{"key":"3_CR21","unstructured":"Smith, G.: Polymorphic Type Inference for Languages with Overloading and Subtyping. PhD thesis, Cornell University (1991)"},{"key":"3_CR22","volume-title":"Haskell: The Craft of Funct. Prog.","author":"S. Thompson","year":"1996","unstructured":"Thompson, S.: Haskell: The Craft of Funct. Prog. Addison-Wesley, Reading (1996)"},{"key":"3_CR23","volume-title":"2nd Int. Conf. on Funct. Prog. and Comp. Arch.","author":"D. Turner","year":"1985","unstructured":"Turner, D.: A non-strict funct. lang. with polymorphic types. In: 2nd Int. Conf. on Funct. Prog. and Comp. Arch. IEEE Comp. Soc. Press, Los Alamitos (1985)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Wadler, P.: How to make ad-hoc polymorphism less ad hoc. In: POPL 1989 (1989)","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10705424_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:36:43Z","timestamp":1558309003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10705424_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666776","9783540479505"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/10705424_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}