Higher-Order Polymorphic Unification for Logic Programming.

Lus Caires, Lus Monteiro

Browse the full ICLP paper archive.