{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:15:44Z","timestamp":1725459344978},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540565175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037111","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:21:36Z","timestamp":1138202496000},"page":"258-273","source":"Crossref","is-referenced-by-count":0,"title":["Combining recursive and dynamic types"],"prefix":"10.1007","author":[{"given":"Hans","family":"Lei\u00df","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically-typed language. In 16th POPL, pages 213\u2013227, 1989.","DOI":"10.1145\/75277.75296"},{"key":"18_CR2","unstructured":"M. Abadi, L. Cardelli, B. Pierce, and D. Remy. Dynamic typing in polymorphic languages. In ACM SIGPLAN Workshop on ML and its Applications. San Francisco, California, June 20\u201321, 1992, pages 92\u2013103, 1992."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Amber. In G. Cousineau, P. L. Curien, and B. Robinet, editors, Combinators and Functional Programming Languages. Springer LNCS 242, 1986.","DOI":"10.1007\/3-540-17184-3_38"},{"issue":"1","key":"18_CR4","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/0890-5401(91)90020-3","volume":"92","author":"F. Cardone","year":"1991","unstructured":"F. Cardone and M. Coppo. Type inference with recursive types: Syntax and semantics. Information and Computation, 92(1):48\u201380, May 1991.","journal-title":"Information and Computation"},{"key":"18_CR5","unstructured":"G. Cousineau and G. Huet. The CAML Primer. Version 2.6. Project Formel, INRIA-ENS, April 1989."},{"key":"18_CR6","unstructured":"R. Harper, R. Milner, and M. Tofte. The definition on Standard ML \u2014 Version 2. LFCS Report Series ECS-LFCS-88-62, Dept. of Computer Science, Univ. of Edinburgh, 1988."},{"key":"18_CR7","first-page":"233","volume":"582","author":"F. Henglein","year":"1992","unstructured":"F. Henglein. Dynamic typing. In European Symposium on Programming (ESOP). Rennes, France, pages 233\u2013253. Springer LNCS, vol. 582, 1992.","journal-title":"Springer LNCS"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3540543961_20","volume-title":"Conf. on Functional Programming Languages and Computer Architecture","author":"X. Leroy","year":"1991","unstructured":"X. Leroy and M. Mauny. Dynamics in ML. In Conf. on Functional Programming Languages and Computer Architecture. Cambridge, Massachusetts, August 1991, pages 406\u2013426. Springer LNCS 523."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"D. MacQueen, G. Plotkin, and R. Sethi. An ideal model for recursive polymorphic types. In Proceedings of the 11th ACM Symposium on Principles of Programming Languages, 1984.","DOI":"10.1145\/800017.800528"},{"key":"18_CR10","unstructured":"D. C. J. Matthews. Static and Dynamic Type-Checking. In: Papers on Poly\/ML. Technical Report 161, Computer Laboratory, University of Cambridge, February 1989."},{"key":"18_CR11","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. 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":"18_CR12","unstructured":"A. Mycroft. Dynamic types in statically typed languages (preliminary draft). Unpublished typescript, December 1983."},{"key":"18_CR13","unstructured":"A. Mycroft. Dynamic types in statically typed languages (2nd draft version). Unpublished typescript, August 1984."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:22:05Z","timestamp":1607552525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540565175"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0037111","relation":{},"subject":[]}}