A polymorphic type system for prolog (1984)

by A Mycroft, R A O’Keefe
Venue:Artif. Intell