Polymorphic higher-order programming in Prolog (1989)

by M Hanus
Venue:6th Int. Conf. Logic Programming