3 citations · 7 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009★ 3 cited
A Lightweight Combination of Semantics for Non-deterministic Functions
Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez
The use of non-deterministic functions is a distinctive feature of modern functional logic languages. The semantics commonly adopted is call-time choice, a notion that at the opera…
cs.PL2004★ 2 cited
A Proof Theoretic Approach to Failure in Functional Logic Programming
Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers…