A Higher Order Rewriting Logic for Functional Logic Programming.

Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo

Browse the full ICLP paper archive.