François Fages, Massimo Paltrinieri
A Generic Type System for CLP(chi)
ICLP, 1998.
@inproceedings{JICSLP-1998-FagesP,
author = "François Fages and Massimo Paltrinieri",
booktitle = "{Proceedings of the Joint International 15th Conference and Symposium on Logic Programming}",
isbn = "0-262-60031-5",
pages = "353--354",
publisher = "{MIT Press}",
title = "{A Generic Type System for CLP(chi)}",
year = 1998,
}











