{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T13:12:31Z","timestamp":1760015551323},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:50Z","timestamp":1330209830000},"page":"379-405","source":"Crossref","is-referenced-by-count":9,"title":["Incremental polymorphism"],"prefix":"10.1007","author":[{"given":"Shail","family":"Aditya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rishiyur S.","family":"Nikhil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"19_CR1","unstructured":"Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974."},{"key":"19_CR2","unstructured":"Andrew W. Appel and David B. MacQueen. Standard ML Reference Manual. Princeton University and AT&T Bell Laboratories, Preliminary edition, 1989. Distributed along with the Standard ML of New Jersey Compiler."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"D. Cl\u00e9ment, J. Despeyroux, T. Despeyroux, and G. Kahn. A Simple Applicative Language: Mini-ML. In Proceedings of the ACM Symposium on LISP and Functional Programming, pages 13\u201327, August 1986.","DOI":"10.1145\/319838.319847"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principle Type Schemes for Functional Programs. In Proceedings of the 9th ACM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"19_CR5","unstructured":"Shail Aditya Gupta. An Incremental Type Inference System for the Programming Language Id. Technical Report MIT\/LCS\/TR-488, Laboratory for Computer Science, 545 Technology Square, MIT, Cambridge, MA 02139, November 1990. First published as the author's Master's thesis."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Harry G. Mairson. Deciding ML Typability is Complete for Deterministic Exponential Time. In Proceedings of the 17th ACM Symposium on Principles of Programming Languages, pages 382\u2013401, January 1990.","DOI":"10.1145\/96709.96748"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Lambert Meertens. Incremental Polymorphic Type Checking in B. In Proceedings of the 10th ACM Symposium on Principles of Programming Languages, January 1983.","DOI":"10.1145\/567067.567092"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Robin Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR9","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachusetts, 1990."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Rishiyur S. Nikhil. Practical Polymorphism. In Proceedings of the Conference on Functional Programming Languages and Computer Architectures, Nancy, FRANCE, volume 201 of Lecture notes in Computer Science. Springer-Verlag, September 1985.","DOI":"10.1007\/3-540-15975-4_45"},{"key":"19_CR11","unstructured":"Rishiyur S. Nikhil. Id Version 90.0 Reference Manual. Technical Report CSG Memo 284-1, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, July 1990."},{"key":"19_CR12","unstructured":"Rishiyur S. Nikhil, P. R. Fenstermacher, J. E. Hicks, and R. P. Johnson. Id World Reference Manual. Computation Structures Group, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, revised edition, November 1989."},{"key":"19_CR13","unstructured":"Aaron Sloman and the Poplog Development Team. POPLOG V14 \u2014 A portable, multi-language, interactive software development environment with X11R4 interface. School of Cognitive and Computing Sciences, Sussex University, Brighton, BN1 9QH England, December 1990. (Overview description obtained via personal communication)."},{"key":"19_CR14","unstructured":"Mads Tofte. Operational Semantics and Polymorphic Type Inference. PhD thesis, University of Edinburgh, Department of Computer Science, 1988. Also published as ECS-LFCS-88-54."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Ian Toyn, Alan Dix, and Colin Runciman. Performance Polymorphism. In Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 325\u2013346. Springer-Verlag, 1987. Proceedings of the FPCA Conference held in Portland, Oregon, 1987.","DOI":"10.1007\/3-540-18317-5_18"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"David A. Turner. Miranda: A non-strict functional language with polymorphic types. In Proceedings of the Conference on Functional Programming Languages and Computer Architectures, Nancy, FRANCE, volume 201 of Lecture Notes in Computer Science. Springer-Verlag, September 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"issue":"12","key":"19_CR17","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/15042.15053","volume":"21","author":"D. A. Turner","year":"1986","unstructured":"David A. Turner. An Overview of Miranda. SIGPLAN Notices, 21(12):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\/3540543961_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:55Z","timestamp":1605646435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3540543961_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}