{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:40:01Z","timestamp":1751985601060,"version":"3.41.2"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order and Symbolic Computation"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1023\/a:1010056315933","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"237-282","source":"Crossref","is-referenced-by-count":3,"title":["Optimal Representations of Polymorphic Types with Subtyping"],"prefix":"10.1007","volume":"12","author":[{"given":"Alexander","family":"Aiken","sequence":"first","affiliation":[]},{"given":"Edward L.","family":"Wimmers","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Aiken, A. and Murphy, B. Implementing regular tree expressions. In Proceedings of the 1991 Conference on Functional Programming Languages and Computer Architecture. August 1991, pp. 427\u2013447.","key":"237515_CR1","DOI":"10.1007\/3540543961_21"},{"doi-asserted-by":"crossref","unstructured":"Aiken, A. and Wimmers, E. Type inclusion constraints and type inference. In Proceedings of the 1993 Conference on Functional Programming Languages and Computer Architecture. Copenhagen, Denmark, June 1993, pp. 31\u201341.","key":"237515_CR2","DOI":"10.1145\/165180.165188"},{"doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E., and Lakshman, T.K. Soft typing with conditional types. In Twenty-First Annual ACM Symposium on Principles of Programming Languages. Portland, Oregon, January 1994, pp. 163\u2013173.","key":"237515_CR3","DOI":"10.1145\/174675.177847"},{"issue":"4","key":"237515_CR4","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M. and Cardelli, L. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575\u2013631, 1993. Also in Proc. POPL'91.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"237515_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L. and Wegner, P. On understanding types, data abstraction and polymorphism. Computing Surverys, 17(4):471\u2013522, December 1985.","journal-title":"Computing Surverys"},{"key":"237515_CR6","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF01744293","volume":"13","author":"B. Courcelle","year":"1979","unstructured":"Courcelle, B. Infinite trees in normal form and recursive equations having a unique solution. Mathematical Systems Theory, 13:131\u2013180, 1979.","journal-title":"Mathematical Systems Theory"},{"unstructured":"Curtis, P. Constrained quantification in polymorphic type analysis. Technical Report CSL-90-1, Xerox Parc, February 1990.","key":"237515_CR7"},{"doi-asserted-by":"crossref","unstructured":"Eifrig, J., Smith, S., and Trifonov, V. Sound polymorphic type inference for objects. In OOPSLA' 96. 1995.","key":"237515_CR8","DOI":"10.1145\/217838.217858"},{"unstructured":"F\u00e4hndrich, M. and Aiken, A. Making set-constraint program analyses scale. In CP96 Workshop on Set Constraints. August 1996.","key":"237515_CR9"},{"doi-asserted-by":"crossref","unstructured":"Henglein, F. and Mossin, C. Polymorphic binding-time analysis. In Proceedings of European Symposium on Programming, D. Sannella (Ed.) vol. 788, April 1994, Lecture Notes in Computer Science, Springer-Verlag, pp. 287\u2013301.","key":"237515_CR10","DOI":"10.1007\/3-540-57880-3_19"},{"key":"237515_CR11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/141471.141540","volume":"1","author":"S. Kaes","year":"1992","unstructured":"Kaes, S. Type inference in the presence of overloading, subtyping and recursive types. In 1992 ACM Conference on Lisp and Functional Programming. San Francisco, California. LISP Pointers V, 1, June 1992, pp. 193\u2013204.","journal-title":"1992 ACM Conference on Lisp and Functional Programming. San Francisco, California. LISP Pointers V"},{"unstructured":"Koenig, A. An anecdote about ML type inference. In Proceedings of the USENIX 1994 Symposium on Very High Level Languages, October 1994.","key":"237515_CR12"},{"doi-asserted-by":"crossref","unstructured":"MacQueen, D., Plotkin, G., and Sethi, R. An ideal model for recursive polymophic types. In Eleventh Annual ACM Symposium on Principles of Programming Languages, January 1984, pp. 165\u2013174.","key":"237515_CR13","DOI":"10.1145\/800017.800528"},{"doi-asserted-by":"crossref","unstructured":"Mitchell, J.C. and Harper, R. The essence of ML. In Fifteenth Annual ACM Symposium on Principles of Programming Languages, January 1988, pp. 28\u201346.","key":"237515_CR14","DOI":"10.1145\/73560.73563"},{"issue":"4","key":"237515_CR15","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/210184.210187","volume":"17","author":"J. Palsberg","year":"1995","unstructured":"Palsberg, J. and O'Keefe, P. A type system equivalent to flow analysis. ACM Transactions on Programming Languages and Systems, 17(4):576\u2013599, 1995. Preliminary version in Proc. POPL'95, 22nd Annual SIGPLAN\u2013SIGACT Symposium on Principles of Programming Languages. San Francisco, California, January 1995, pp. 367\u2013378.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Pottier, F. Simplifying subtyping constraints. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, May 1996, pp. 122\u2013133.","key":"237515_CR16","DOI":"10.1145\/232627.232642"},{"key":"237515_CR17","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0167-6423(94)00020-4","volume":"23","author":"G.S. Smith","year":"1994","unstructured":"Smith, G.S. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197\u2013226, 1994.","journal-title":"Science of Computer Programming"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010056315933.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010056315933\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010056315933.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:59:43Z","timestamp":1751983183000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010056315933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["237515"],"URL":"https:\/\/doi.org\/10.1023\/a:1010056315933","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"type":"print","value":"1388-3690"},{"type":"electronic","value":"1573-0557"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}