Dynamics in ML

Abstract : Objects with dynamic types allow the integration of operations that essentially require run-time type-checking into statically-typed languages. This article 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.
Type de document :
Article dans une revue
Journal of Functional Programming, Cambridge University Press (CUP), 1993, 3 (4), pp.431-463. 〈10.1017/S0956796800000848〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499972
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 20:00:08
Dernière modification le : mardi 24 avril 2018 - 17:20:13
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 13:01:41

Fichier

dynamics-in-ML.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy, Michel Mauny. Dynamics in ML. Journal of Functional Programming, Cambridge University Press (CUP), 1993, 3 (4), pp.431-463. 〈10.1017/S0956796800000848〉. 〈hal-01499972〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

24