A Generic Type System for CLP(chi).

Franois Fages, Massimo Paltrinieri

Browse the full ICLP paper archive.