Typing linear constraints
Abstract
no abstract
Journal Articles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year : 2010
Nicolas Alarcon : Connect in order to contact the contributor
https://hal.univ-reunion.fr/hal-01186162
Submitted on : Monday, August 24, 2015-2:28:54 PM
Last modification on : Wednesday, January 4, 2023-3:22:08 PM
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⟩
Collections
81
View
0
Download