{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:25:50Z","timestamp":1752985550470},"reference-count":29,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":5516,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1993,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This paper presents two extensions of the ML language with dynamics, based on our work on the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism.<\/jats:p>","DOI":"10.1017\/s0956796800000848","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T16:13:12Z","timestamp":1226074392000},"page":"431-463","source":"Crossref","is-referenced-by-count":40,"title":["Dynamics in ML"],"prefix":"10.1017","volume":"3","author":[{"given":"Xavier","family":"Leroy","sequence":"first","affiliation":[]},{"given":"Michel","family":"Mauny","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S0956796800000848_ref003","volume-title":"Proceedings 1992 Workshop on ML and its Applications","author":"Abadi","year":"1992"},{"key":"S0956796800000848_ref025","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90018-D"},{"key":"S0956796800000848_ref019","volume-title":"The Definition of Standard ML","author":"Milner","year":"1990"},{"key":"S0956796800000848_ref028","unstructured":"Warren D. H. (1983) An abstract Prolog instruction set. Technical note 309, SRI International."},{"key":"S0956796800000848_ref017","doi-asserted-by":"crossref","unstructured":"Miller D. (1989) Lexical scoping as universal quantification. In Proceedings 6th International Conference for Logic Programming.","DOI":"10.1016\/0743-1066(89)90031-9"},{"key":"S0956796800000848_ref026","volume-title":"Functional Programming Languages and Computer Architecture 1989","author":"Wadler","year":"1989"},{"key":"S0956796800000848_ref029","unstructured":"Weis P. (1990) The CAML Reference Manual, version 2.6.1. Technical report 121, INRIA."},{"key":"S0956796800000848_ref012","volume-title":"Lecture Notes in Computer Science","volume":"582","author":"Henglein","year":"1992"},{"key":"S0956796800000848_ref014","unstructured":"Maier D. and Warren D. S. (1988) Computing with Logic: Logic programming with Prolog. Benjamin\/Cummings."},{"key":"S0956796800000848_ref023","volume-title":"Principles of Programming Languages 1990","author":"Rouaix","year":"1990"},{"key":"S0956796800000848_ref001","volume-title":"Principles of Programming Languages 1989","author":"Abadi","year":"1989"},{"key":"S0956796800000848_ref002","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"S0956796800000848_ref004","unstructured":"A\u00eft-Kaci H. (1990) The WAM: a real tutorial. Research report 5, DEC Paris Research Lab."},{"key":"S0956796800000848_ref005","volume-title":"Combinators and Functional Programming Languages","volume":"242","author":"Cardelli","year":"1986"},{"key":"S0956796800000848_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90019-0"},{"key":"S0956796800000848_ref007","first-page":"202","volume-title":"Principles of Programming Languages 1989","author":"Cardelli","year":"1989"},{"key":"S0956796800000848_ref008","unstructured":"Cousineau G. and Huet G. (1990) The CAML primer. Technical report 122, INRIA."},{"key":"S0956796800000848_ref009","first-page":"207","volume-title":"Principles of Programming Languages 1982","author":"Damas","year":"1982"},{"key":"S0956796800000848_ref015","first-page":"313","volume-title":"Lecture Notes in Computer Science","volume":"523","author":"Mairson","year":"1991"},{"key":"S0956796800000848_ref010","first-page":"200","volume-title":"Principles of Programming Languages 1992","author":"Di Cosmo","year":"1992"},{"key":"S0956796800000848_ref011","unstructured":"Dowek G. , Felty A. , Herbelin H. , Huet G. , Paulin-Mohring C. and Werner B. (1991) The Coq proof assistant user's guide: version 5.6. Technical report 134, INRIA."},{"key":"S0956796800000848_ref016","unstructured":"Mauny M. (1991) Functional programming in CAML. Technical report 129, INRIA."},{"key":"S0956796800000848_ref018","unstructured":"Miller D. (1991) Unification under a mixed prefix. Technical report MS-CIS-91-81, Computer Science Department, University of Pennsylvania. To appear in Journal of Symbolic Computation."},{"key":"S0956796800000848_ref020","first-page":"367","volume-title":"Handbook of Theoretical Computer Science","volume":"B","author":"Mitchell","year":"1990"},{"key":"S0956796800000848_ref021","unstructured":"Mycroft A. (1983) Dynamic types in ML. Draft."},{"key":"S0956796800000848_ref022","volume-title":"The Implementation of Functional Programming Languages","author":"Peyton-Jones","year":"1987"},{"key":"S0956796800000848_ref024","first-page":"367","volume-title":"Principles of Programming Languages 1990","author":"Thatte","year":"1990"},{"key":"S0956796800000848_ref027","volume-title":"Principles of Programming Languages 1989","author":"Wadler","year":"1989"},{"key":"S0956796800000848_ref013","volume-title":"Principles of Programming Languages 1993","author":"Leroy","year":"1993"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796800000848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,10]],"date-time":"2020-05-10T00:09:53Z","timestamp":1589069393000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796800000848\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["S0956796800000848"],"URL":"https:\/\/doi.org\/10.1017\/s0956796800000848","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}