Typing linear constraints - Université de La Réunion Access content directly
Journal Articles ACM Transactions on Programming Languages and Systems (TOPLAS) Year : 2010

Dates and versions

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

Identifiers

Cite

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⟩
81 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More