Applicative functors and fully transparent higher-order modules

Abstract : We present a variant of the Standard ML module system where parameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compatible abstract types, instead of generating distinct types at each application as in Standard ML. This extension solves the full transparency problem (how to give syntactic signatures for higher-order functors that express exactly their propagation of type equations), and also provides better support for non-closed code fragments.
Type de document :
Communication dans un congrès
POPL 1995: 22nd symposium Principles of Programming Languages, Jan 1995, San Francisco, United States. ACM, pp.142 - 153, 1995, 〈10.1145/199448.199476〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01499966
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 19:28:39
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:56:15

Fichier

applicative-functors.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. Applicative functors and fully transparent higher-order modules. POPL 1995: 22nd symposium Principles of Programming Languages, Jan 1995, San Francisco, United States. ACM, pp.142 - 153, 1995, 〈10.1145/199448.199476〉. 〈hal-01499966〉

Partager

Métriques

Consultations de la notice

222

Téléchargements de fichiers

38