Implementing polymorphic typing in a logic programming language (1994)

by Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Venue:Computer Languages