A polymorphic type system with subtypes for Prolog (1988)

by R Dietrich, F Hagl
Venue:In Proceedings of the 2nd European Symposium on Programming, Lecture Notes in Computer Science