Hindley-Milner Elaboration in Applicative Style

Abstract : Type inference—the problem of determining whether a program is well-typed—is well-understood. In contrast, elaboration—the task of constructing an explicitly-typed representation of the program— seems to have received relatively little attention, even though, in a non-local type inference system, it is non-trivial. We show that the constraint-based presentation of Hindley-Milner type inference can be extended to deal with elaboration, while preserving its elegance. This involves introducing a new notion of "constraint with a value", which forms an applicative functor.
Type de document :
Communication dans un congrès
ICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Goteborg, Sweden. ACM, <10.1145/2628136.2628145>
Liste complète des métadonnées

https://hal.inria.fr/hal-01081233
Contributeur : François Pottier <>
Soumis le : vendredi 7 novembre 2014 - 13:14:03
Dernière modification le : lundi 5 janvier 2015 - 18:01:56
Document(s) archivé(s) le : dimanche 8 février 2015 - 10:36:40

Fichier

fpottier-elaboration.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

François Pottier. Hindley-Milner Elaboration in Applicative Style. ICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Goteborg, Sweden. ACM, <10.1145/2628136.2628145>. <hal-01081233>

Partager

Métriques

Consultations de
la notice

132

Téléchargements du document

442