Inference of Polymorphic Types for Logic Programs (1989)

by C Pyo, U S Reddy
Venue:Proc. North American Conference on Logic Programming