Skip to Main content Skip to Navigation
Master thesis

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

Document type :
Master thesis
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-02361707
Contributor : Carine Morel <>
Submitted on : Wednesday, November 13, 2019 - 3:04:42 PM
Last modification on : Friday, May 21, 2021 - 3:00:03 PM
Long-term archiving on: : Friday, February 14, 2020 - 4:08:22 PM

File

morel_masterthesis.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02361707, version 1

Collections

INRIA | CDF | PSL

Citation

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⟩

Share

Metrics

Record views

117

Files downloads

528