"Algebraic Semantics for Functional Logic Programming with Polymorphic ..."

Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics