Suchergebnisse - "functional logic programming"

Safe typing of functional logic programs with opaque patterns and local bindings von 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 …”
Volltext