A Generic Type System for CLP(chi)

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},
}