Communication Dans Un Congrès
Année : 2001
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01124763
Soumis le : vendredi 6 mars 2015-10:46:57
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01124763 , version 1
Citer
Olivier Boite, Catherine Dubois. Proving Type Soundness of a Simply Typed ML-like Language with References. TPHOLs2001, Jan 2001, X, France. ⟨hal-01124763⟩
Collections
20
Consultations
0
Téléchargements