{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T20:48:13Z","timestamp":1773434893390,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540543961","type":"print"},{"value":"9783540475996","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:53Z","timestamp":1330209833000},"page":"15-28","source":"Crossref","is-referenced-by-count":9,"title":["On the complexity of ML typability with overloading"],"prefix":"10.1007","author":[{"given":"Dennis M.","family":"Volpano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey S.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Damas, L. and Milner, R., Principal type-schemes for functional programs. Proc. 9th Annual ACM Symp. on Principles of Prog. Lang., pp. 207\u2013212, January 1982.","DOI":"10.1145\/582153.582176"},{"key":"2_CR2","unstructured":"Harper, R., Milner, R. and Tofte, M., The definition of Standard ML. Version 2, ECS-LFCS-88-62, University of Edinburgh, August 1988."},{"key":"2_CR3","first-page":"29","volume":"146","author":"R. Hindley","year":"1969","unstructured":"Hindley, R., The principal type scheme of an object in combinatory logic. Trans. Amer. Math. Soc., 146, pp. 29\u201360, December 1969.","journal-title":"Trans. Amer. Math. Soc."},{"key":"2_CR4","unstructured":"Hopcroft, J. and Ullman, J., Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"2_CR5","unstructured":"Hudak, P. and Wadler, P., Report on the Programming Language Haskell. Version 1.0, Yale University, April 1990."},{"key":"2_CR6","first-page":"131","volume":"300","author":"S. Kaes","year":"1988","unstructured":"Kaes, S., Parametric overloading in polymorphic programming languages. In Lecture Notes in Comp. Sci., Proc. of the 2nd European Symp. on Programming, 300, pp. 131\u2013144, 1988.","journal-title":"Proc. of the 2nd European Symp. on Programming"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Mairson, H., Deciding ML typability is complete for deterministic exponential time. Proc. 17th Annual ACM Symp. on Principles of Prog. Lang., pp. 382\u2013401, January 1990.","DOI":"10.1145\/96709.96748"},{"key":"2_CR8","doi-asserted-by":"crossref","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. J. Comp. System Sci., 17, pp. 348\u2013375, 1978.","journal-title":"J. Comp. System Sci."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Mitchell, J. and Harper, R., The essence of ML. Proc. 15th Annual ACM Symp. on Principles of Prog. Lang., pp. 28\u201346, January 1988.","DOI":"10.1145\/73560.73563"},{"key":"2_CR10","unstructured":"Smith, G.S., Overloading and bounded polymorphism. TR 89-1054, Department of Computer Science, Cornell University, November 1989."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Turner, D.A., An overview of Miranda. SIGPLAN Notices, December 1986.","DOI":"10.1145\/15042.15053"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Wadler, P. and Blott, S., How to make ad-hoc polymorphism less ad-hoc. Proc. 16th Annual ACM Symp. on Principles of Prog. Lang., pp. 60\u201376, January 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:19Z","timestamp":1619572879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3540543961_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}