Typing linear constraints

Abstract : no abstract
Type de document :
Article dans une revue
ACM Trans. Program. Lang. Syst., 2010, 32 (6), pp.en ligne. 〈10.1145/1749608.1749610〉
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186162
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:28:54
Dernière modification le : vendredi 14 septembre 2018 - 08:15:18

Lien texte intégral

Identifiants

Collections

Citation

Salvatore Ruggieri, Frédéric Mesnard. Typing linear constraints. ACM Trans. Program. Lang. Syst., 2010, 32 (6), pp.en ligne. 〈10.1145/1749608.1749610〉. 〈hal-01186162〉

Partager

Métriques

Consultations de la notice

87