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

Typing linear constraints

Abstract

no abstract

Domains

Mathematics [math] Computer Science [cs]

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 : Monday, April 29, 2024-11:28:04 AM

Consult the full text

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM FST-REUNION
84 View
0 Download

Altmetric

Share

More