Skip to content

A Type System for CHR.

Emmanuel Coquery, Franois Fages

VenueBICLP
Year2005
ProceedingsICLP

Browse the full ICLP paper archive.