Avoiding dynamic type checking in a polymorphic logic programming language (1994)

by Pascal Brisset
Venue:In Symposium on Logic Programming