François Fages, Massimo Paltrinieri. A Generic Type System for CLP(chi). In Implementation Technology for Programming Languages based on Logic. pages 353-354, 1998.
@inproceedings{FagesP98, title = {A Generic Type System for CLP(chi)}, author = {François Fages and Massimo Paltrinieri}, year = {1998}, tags = {type system}, researchr = {https://researchr.org/publication/FagesP98}, cites = {0}, citedby = {0}, pages = {353-354}, booktitle = {Implementation Technology for Programming Languages based on Logic}, }