Using Static Analysis to Compile Non-sequential Functional Logic Programs.

Julio Mario, Juan Jos Moreno-Navarro

Browse the full PADL paper archive.