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 : mercredi 7 février 2018 - 08:12:02

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

43