Typing linear constraints - Université de La Réunion
Article Dans Une Revue ACM Transactions on Programming Languages and Systems (TOPLAS) Année : 2010

Dates et versions

hal-01186162 , version 1 (24-08-2015)

Identifiants

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⟩
84 Consultations
0 Téléchargements

Altmetric

Partager

More