Qualified Computations in Functional Logic Programming.

Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz

Browse the full ICLP paper archive.