Nullable Type Inference - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Nullable Type Inference

Résumé

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.
Fichier principal
Vignette du fichier
ocaml2014_14.pdf (153.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01413294 , version 1 (09-12-2016)

Identifiants

  • HAL Id : hal-01413294 , version 1

Citer

Michel Mauny, Benoît Vaugon. Nullable Type Inference. OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden. ⟨hal-01413294⟩
102 Consultations
78 Téléchargements

Partager

Gmail Facebook X LinkedIn More