Type inferencing for polymorphic order-sorted logic programs (1995)

by C Beierle
Venue:Proc. of the 12th Int. Conf. on Logic Programming