A polymorphic type system (1983)

by A Mycroft, R A O’Keefe
Venue:for Prolog, Logic Programming Workshop