3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…