{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:40Z","timestamp":1763467900673},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":5059,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>There are situations in programming where some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system <jats:italic>F<\/jats:italic>), implicit polymorphism (in the style of ML), abstract data types, and subtyping.<\/jats:p>","DOI":"10.1017\/s095679680000126x","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T11:12:13Z","timestamp":1226056333000},"page":"111-130","source":"Crossref","is-referenced-by-count":59,"title":["Dynamic typing in polymorphic languages"],"prefix":"10.1017","volume":"5","author":[{"given":"M.","family":"Abadi","sequence":"first","affiliation":[]},{"given":"L.","family":"Cardelli","sequence":"additional","affiliation":[]},{"given":"B.","family":"Pierce","sequence":"additional","affiliation":[]},{"given":"D.","family":"R\u00e9my","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S095679680000126X_ref023","unstructured":"Wirth N. (1987) From Modula to Oberon and the programming language Oberon. Technical Report 82, Institut f\u00fcr Informatik, ETH, Zurich."},{"key":"S095679680000126X_ref022","unstructured":"Weis P. , Aponte M.-V. , Laville A. , Mauny M. and Su\u00e1rez A. (1990) The CAML reference manual. Research report 121, INRIA, Rocquencourt, September."},{"key":"S095679680000126X_ref020","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1986.229476"},{"key":"S095679680000126X_ref019","first-page":"408","volume-title":"Proc. Colloque sur la Programmation, Lecture Notes in Computer Science 19","author":"Reynolds","year":"1974"},{"key":"S095679680000126X_ref018","volume-title":"Systems Programming in Modula-3","author":"Nelson"},{"key":"S095679680000126X_ref017","unstructured":"Mycroft A. (1983) Dynamic types in ML. Draft."},{"key":"S095679680000126X_ref015","volume-title":"The Definition of Standard ML","author":"Milner","year":"1990"},{"key":"S095679680000126X_ref013","first-page":"406","volume-title":"Functional Programming Languages and Computer Architecture 1991, Lecture Notes in Computer Science 523","author":"Leroy","year":"1991"},{"key":"S095679680000126X_ref012","unstructured":"Lampson B. (1983) A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center."},{"key":"S095679680000126X_ref016","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"S095679680000126X_ref011","unstructured":"Henglein F. (1993) Dynamic typing: Syntax and proof theory. Science of Computer Programming. Special Issue on European Symposium on Programming 1992."},{"key":"S095679680000126X_ref010","unstructured":"Gordon M. (1980) Adding Eval to ML. Personal communication."},{"key":"S095679680000126X_ref009","unstructured":"Girard J.-Y. (1972) Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l'arithm\u00e9tique d'ordre sup\u00e9rieur. PhD thesis, Universit\u00e9 Paris VII."},{"key":"S095679680000126X_ref006","first-page":"21","volume-title":"Combinators and Functional Programming Languages, Lecture Notes in Computer Science 242","author":"Cardelli","year":"1988"},{"key":"S095679680000126X_ref002","first-page":"92","volume-title":"ACM Sigplan Workshop on ML and its Applications","author":"Abadi","year":"1992"},{"key":"S095679680000126X_ref014","volume-title":"CLU Reference Manual","author":"Liskov","year":"1981"},{"key":"S095679680000126X_ref021","unstructured":"Thatte S. R. (1990) Quasi-static typing (preliminary report). Proc. Seventeenth ACM Symposium on Principles of Programming Languages,, pp. 367\u2013381."},{"key":"S095679680000126X_ref001","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"S095679680000126X_ref003","volume-title":"Simula Begin","author":"Birtwistle","year":"1979"},{"key":"S095679680000126X_ref004","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"S095679680000126X_ref008","unstructured":"Ghelli G. (1990) Proof theoretic studies about a minimal type system integrating inclusion and parametric polymorphism. PhD thesis, Universit\u00e0 di Pisa. (Technical report TD-6\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa.)"},{"key":"S095679680000126X_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54415-1_73"},{"key":"S095679680000126X_ref007","doi-asserted-by":"crossref","unstructured":"Cardelli L. (1988) Structural subtyping and the notion of power type. Proc. 15th ACM Symposium on Principles of Programming Languages, pp. 70\u201379.","DOI":"10.1145\/73560.73566"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S095679680000126X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:10:21Z","timestamp":1557850221000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S095679680000126X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["S095679680000126X"],"URL":"https:\/\/doi.org\/10.1017\/s095679680000126x","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}