Nullable Type Inference

Abstract : We present type inference algorithms for nullable types in ML-like programming languages. Starting with a simple system, presented as an algorithm, whose only interest is to introduce the formalism that we use, we replace unification by subtyping constraints and obtain a more interesting system. We state the usual properties for both systems.
Type de document :
Communication dans un congrès
OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden. OCaml 2014 - The OCaml Users and Developers Workshop, 〈https://ocaml.org/meetings/ocaml/2014/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01413294
Contributeur : Michel Mauny <>
Soumis le : vendredi 9 décembre 2016 - 15:54:13
Dernière modification le : jeudi 16 novembre 2017 - 17:12:03

Fichier

ocaml2014_14.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01413294, version 1

Collections

Citation

Michel Mauny, Benoît Vaugon. Nullable Type Inference. OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden. OCaml 2014 - The OCaml Users and Developers Workshop, 〈https://ocaml.org/meetings/ocaml/2014/〉. 〈hal-01413294〉

Partager

Métriques

Consultations de la notice

111

Téléchargements de fichiers

26