Implementing Polymorphic Typing in a Logic Programming Language (1993)

by Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Venue:COMPUTER LANGUAGES