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 paper presents two extensions of the ML language with dynamics, based on what has been done in 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 :
Communication dans un congrès
John Hughes. FPCA 1991: Functional Programming Languages and Computer Architecture, Aug 1991, Boston, United States. Springer, 523, pp.406-426, LNCS
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01499984
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 20:27:28
Dernière modification le : jeudi 26 avril 2018 - 10:28:53
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:40:43

Fichier

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

Identifiants

  • HAL Id : hal-01499984, version 1

Collections

Citation

Xavier Leroy, Michel Mauny. Dynamics in ML. John Hughes. FPCA 1991: Functional Programming Languages and Computer Architecture, Aug 1991, Boston, United States. Springer, 523, pp.406-426, LNCS. 〈hal-01499984〉

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

51