Polymorphically Typed Logic Programs.

Eyal Yardeni, Thom W. Frhwirth, Ehud Shapiro

Browse the full ICLP paper archive.