Sciweavers

TOPLAS
2010

Typing linear constraints

14 years 7 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where TOPLAS
Authors Salvatore Ruggieri, Fred Mesnard
Comments (0)