Search Results - "Functional-logic programming"

Safe typing of functional logic programs with opaque patterns and local bindings by López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan

“… In this paper we address a couple of aspects that can be subject of improvement. One is related to a problematic feature of functional logic languages not taken under consideration by standard systems…”
Get full text