The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]



Accedi per aggiungere un commento