Skip to content

Logic Programming with Constructor-based Type Constraints.

Hans-Joachim Goltz

VenueBICLP
Year1994
ProceedingsICLP Workshop: Integration of Declarative Paradigms

Browse the full ICLP paper archive.