Typing linear constraints
Résumé
no abstract
Article Dans Une Revue
ACM Transactions on Programming Languages and Systems (TOPLAS)
Année : 2010
Nicolas Alarcon : Connectez-vous pour contacter le contributeur
https://hal.univ-reunion.fr/hal-01186162
Soumis le : lundi 24 août 2015-14:28:54
Dernière modification le : lundi 22 avril 2024-15:07:49
Citer
Salvatore Ruggieri, Frédéric Mesnard. Typing linear constraints. ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (6), pp.en ligne. ⟨10.1145/1749608.1749610⟩. ⟨hal-01186162⟩
Collections
81
Consultations
0
Téléchargements