3 search results - page 1 / 1 » Well-typed narrowing with extra variables in functional-logi... |
PEPM
2012
ACM
12 years 28 days ago
2012
ACM
ENTCS
2007
13 years 5 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
ICFP
2004
ACM
14 years 5 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...