Skip to main content

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
Cancel
×
×
Home
  • Home
Article
  • Cited by 10
  • Cited by
    Crossref Citations
    Crossref logo
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.
    Balestrieri, Florent and Mauny, Michel 2018. Generic Programming in OCaml. Electronic Proceedings in Theoretical Computer Science, Vol. 285, Issue. , p. 59.
    Ueno, Katsuhiro and Ohori, Atsushi 2016. A Type Safe Access to Key-value Stores from Functional Languages. Journal of Information Processing, Vol. 24, Issue. 1, p. 141.
    SWIERSTRA, WOUTER and VAN NOORT, THOMAS 2013. A library for polymorphic dynamic typing. Journal of Functional Programming, Vol. 23, Issue. 03, p. 229.
    Gazagnaire, Thomas and Madhavapeddy, Anil 2011. Dynamics for ML using Meta-Programming. Electronic Notes in Theoretical Computer Science, Vol. 264, Issue. 5, p. 3.
    Duggan, Dominic 2005. Type-based hot swapping of running modules. Acta Informatica, Vol. 41, Issue. 4-5, p. 181.
    Duggan, Dominic and Ophel, John 2002. Open and closed scopes for constrained genericity. Theoretical Computer Science, Vol. 275, Issue. 1-2, p. 215.
    Duggan, Dominic 2001. Finite subtype inference with explicit polymorphism. Science of Computer Programming, Vol. 39, Issue. 1, p. 57.
    Moreau, Pierre-Etienne Ringeissen, Christophe and Vittek, Marian 2001. A Pattern-Matching Compiler. Electronic Notes in Theoretical Computer Science, Vol. 44, Issue. 2, p. 161.
    Duggan, Dominic 2001. Types in Compilation. Vol. 2071, Issue. , p. 85.
    Schwartz, B. Jackson, A.W. Strayer, W.T. Wenyi Zhou Rockwell, R.D. and Partridge, C. 1999. Smart Packets for active networks. p. 90.
    ×
  • Get access
    Add to cart USD35.00
    Check if you have access via personal or institutional login
    Log in Register

Dynamics in ML

  • Xavier Leroy (a1) and Michel Mauny (a2)
Abstract

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.

Copyright
COPYRIGHT: © Cambridge University Press 1993
References
Hide All
Abadi, M., Cardelli, L., Pierce, B. and Plotkin, G. (1989) Dynamic typing in a statically-typed language. In Principles of Programming Languages 1989. ACM Press.
Abadi, M., Cardelli, L., Pierce, B. and Plotkin, G. (1991) Dynamic typing in a statically-typed language. ACM Transactions on Programming Languages and Systems, 13(2):237–268.
Abadi, M., Cardelli, L., Pierce, B. and Rémy, D. (1992) Dynamic typing in polymorphic languages. In Proceedings 1992 Workshop on ML and its Applications.
Aït-Kaci, H. (1990) The WAM: a real tutorial. Research report 5, DEC Paris Research Lab.
Cardelli, L. (1986) Amber. In Combinators and Functional Programming Languages, volume 242 of Lecture Notes in Computer Science. Springer-Verlag.
Cardelli, L. (1987) Basic polymorphic typechecking. Science of Computer Programming, 8(2):147–172.
Cardelli, L., Donahue, J., Jordan, M., Kalsow, B. and Nelson, G. (1989) The Modula-3 type system. In Principles of Programming Languages 1989, pp. 202–212. ACM Press.
Cousineau, G. and Huet, G. (1990) The CAML primer. Technical report 122, INRIA.
Damas, L. and Milner, R. (1982) Principal type-schemes for functional programs. In Principles of Programming Languages 1982, pp. 207–212. ACM Press.
Di Cosmo, R. (1992) Type isomorphisms in a type-assignment framework. In Principles of Programming Languages 1992, pp. 200–210. ACM Press.
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.
Henglein, F. (1992) Dynamic typing. In European Symposium on Programming, volume 582 of Lecture Notes in Computer Science. Springer-Verlag.
Leroy, X. (1993) Polymorphism by name for references and continuations. In Principles of Programming Languages 1993. ACM Press.
Maier, D. and Warren, D. S. (1988) Computing with Logic: Logic programming with Prolog. Benjamin/Cummings.
Mairson, H. G. (1991) Outline of a proof theory of parametricity. In Functional Programming Languages and Computer Architecture 1991, volume 523 of Lecture Notes in Computer Science, pp. 313–328. Springer-Verlag.
Mauny, M. (1991) Functional programming in CAML. Technical report 129, INRIA.
Miller, D. (1989) Lexical scoping as universal quantification. In Proceedings 6th International Conference for Logic Programming.
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.
Milner, R., Tofte, M. and Harper, R. (1990) The Definition of Standard ML. MIT Press.
Mitchell, J. C. (1990) Type systems for programming languages. In van Leeuwen, J., editor, Handbook of Theoretical Computer Science, volume B, pp. 367–458. MIT Press/Elsevier.
Mycroft, A. (1983) Dynamic types in ML. Draft.
Peyton-Jones, S. (1987) The Implementation of Functional Programming Languages. Prentice-Hall.
Rouaix, F. (1990) Safe run-time overloading. In Principles of Programming Languages 1990. ACM Press.
Thatte, S. R. (1990) Quasi-static typing. In Principles of Programming Languages 1990, pp. 367–381. ACM Press.
Tofte, M. (1990) Type inference for polymorphic references. Information and Computation, 89(1).
Wadler, P. (1989) Theorems for free! In Functional Programming Languages and Computer Architecture 1989. ACM Press.
Wadler, P. and Blott, S. (1989) How to make ad-hoc polymorphism less ad-hoc. In Principles of Programming Languages 1989. ACM Press.
Warren, D. H. (1983) An abstract Prolog instruction set. Technical note 309, SRI International.
Weis, P. et al. (1990) The CAML Reference Manual, version 2.6.1. Technical report 121, INRIA.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Journal of Functional Programming
  • ISSN: 0956-7968
  • EISSN: 1469-7653
  • URL: /core/journals/journal-of-functional-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *

CAPTCHA *

Skip to the audio challenge
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed

  • Cited by 10
  • Cited by
    Crossref Citations
    Crossref logo
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.
    Balestrieri, Florent and Mauny, Michel 2018. Generic Programming in OCaml. Electronic Proceedings in Theoretical Computer Science, Vol. 285, Issue. , p. 59.
    Ueno, Katsuhiro and Ohori, Atsushi 2016. A Type Safe Access to Key-value Stores from Functional Languages. Journal of Information Processing, Vol. 24, Issue. 1, p. 141.
    SWIERSTRA, WOUTER and VAN NOORT, THOMAS 2013. A library for polymorphic dynamic typing. Journal of Functional Programming, Vol. 23, Issue. 03, p. 229.
    Gazagnaire, Thomas and Madhavapeddy, Anil 2011. Dynamics for ML using Meta-Programming. Electronic Notes in Theoretical Computer Science, Vol. 264, Issue. 5, p. 3.
    Duggan, Dominic 2005. Type-based hot swapping of running modules. Acta Informatica, Vol. 41, Issue. 4-5, p. 181.
    Duggan, Dominic and Ophel, John 2002. Open and closed scopes for constrained genericity. Theoretical Computer Science, Vol. 275, Issue. 1-2, p. 215.
    Duggan, Dominic 2001. Finite subtype inference with explicit polymorphism. Science of Computer Programming, Vol. 39, Issue. 1, p. 57.
    Moreau, Pierre-Etienne Ringeissen, Christophe and Vittek, Marian 2001. A Pattern-Matching Compiler. Electronic Notes in Theoretical Computer Science, Vol. 44, Issue. 2, p. 161.
    Duggan, Dominic 2001. Types in Compilation. Vol. 2071, Issue. , p. 85.
    Schwartz, B. Jackson, A.W. Strayer, W.T. Wenyi Zhou Rockwell, R.D. and Partridge, C. 1999. Smart Packets for active networks. p. 90.
    ×
  • Get access
    Add to cart USD35.00
    Check if you have access via personal or institutional login
    Log in Register

Dynamics in ML

  • Xavier Leroy (a1) and Michel Mauny (a2)
Submit a response

Discussions

No Discussions have been published for this article.

×

Reply to: Submit a response

Your details

Conflicting interests

Do you have any conflicting interests? *

Cancel
Confirm
×