%0 Conference Paper %B SAS %D 2008 %T Typing Linear Constraints for Moding CLP() Programs %A Salvatore Ruggieri %A Frédéric Mesnard %B SAS %P 128-143