A polymorphic type system with subtypes for Prolog (1988)

by R Dietrich, F Hagl
Venue:Pages 79–93 of: Ganzinger, H. (ed), Proceedings of the