Inférence de types et élaboration modulaire avec contraintes pour le langage ML étendu avec des abréviations de types - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Mémoire D'étudiant Année : 2019

Type inference and modular elaboration with constraints for ML extended with type abbreviations

Inférence de types et élaboration modulaire avec contraintes pour le langage ML étendu avec des abréviations de types

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
morel_masterthesis.pdf (646.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Carine Morel  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02361707

Soumis le : mercredi 13 novembre 2019-15:04:42

Dernière modification le : mardi 3 octobre 2023-17:18:04

Archivage à long terme le : vendredi 14 février 2020-16:08:22

Télécharger pour visualiser

Dates et versions

hal-02361707 , version 1 (13-11-2019)

Identifiants

  • HAL Id : hal-02361707 , version 1

Citer

Carine Morel. Inférence de types et élaboration modulaire avec contraintes pour le langage ML étendu avec des abréviations de types. Langage de programmation [cs.PL]. 2019. ⟨hal-02361707⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA CDF INRIA2 PSL
125 Consultations
207 Téléchargements

Partager

Gmail Facebook X LinkedIn More