{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:24Z","timestamp":1725663024074},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183174"},{"type":"electronic","value":"9783540478799"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:32:38Z","timestamp":1330180358000},"page":"325-346","source":"Crossref","is-referenced-by-count":5,"title":["Performance polymorphism"],"prefix":"10.1007","author":[{"given":"Ian","family":"Toyn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Dix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"18_CR1","unstructured":"L. Cardelli, \u201cBasic Polymorphic Typechecking\u201d, Polymorphism II(1) (January 1985)."},{"key":"18_CR2","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J. (1976)."},{"issue":"2","key":"18_CR3","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, \u201cAn Efficient Unification Algorithm\u201d, ACM TOPLAS 4(2), pp. 258\u2013282 (April 1982).","journal-title":"ACM TOPLAS"},{"issue":"3","key":"18_CR4","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner, \u201cA Theory of Type Polymorphism in Programming\u201d, J. of Computer and System Sciences 17(3), pp. 348\u2013375 (December 1978).","journal-title":"J. of Computer and System Sciences"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"R. S. Nikhil, \u201cPractical Polymorphism\u201d, pp. 319\u2013333 in Functional Programming Languages and Computer Architecture, ed. Jean-Pierre Jouannaud, Springer-Verlag Lecture Notes in Computer Science 201 (September 1985).","DOI":"10.1007\/3-540-15975-4_45"},{"issue":"1","key":"18_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson, \u201cA Machine-Oriented Logic Based on the Resolution Principle\u201d, JACM 12(1), pp. 23\u201341 (January 1965).","journal-title":"JACM"},{"issue":"4","key":"18_CR7","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF03037389","volume":"4","author":"I. Toyn","year":"1986","unstructured":"I. Toyn and C. Runciman, \u201cAdapting Combinator and SECD Machines to Display Snapshots of Functional Computations\u201d, New Generation Computing 4(4), pp. 339\u2013363 (December 1986).","journal-title":"New Generation Computing"},{"key":"18_CR8","unstructured":"I. Toyn, \u201cExploratory Environments for Functional Programming\u201d, DPhil thesis (unpublished), Dept. of Computer Science, University of York (April 1987)."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"D. A. Turner, \u201cRecursion Equations as a Programming Language\u201d, in Functional Programming and its Applications, ed. J. Darlington, P. Henderson, and D. A. Turner, Cambridge University Press (1982).","DOI":"10.1007\/978-3-319-30936-1_24"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"D. A. Turner, \u201cMiranda: A Non-Strict Functional Language with Polymorphic Types\u201d, pp. 1\u201316 in Functional Programming Languages and Computer Architecture, ed. Jean-Pierre Jouannaud, Springer-Verlag Lecture Notes in Computer Science 201 (September 1985).","DOI":"10.1007\/3-540-15975-4_26"},{"issue":"12","key":"18_CR11","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/15042.15053","volume":"21","author":"D. A. Turner","year":"1986","unstructured":"D. A. Turner, \u201cAn Overview of Miranda\u201d, SIGPLAN Notices 21(12), pp. 158\u2013166 (December 1986).","journal-title":"SIGPLAN Notices"}],"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\/3-540-18317-5_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:37Z","timestamp":1605626077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}