1989 search results - page 146 / 398 » Set functions for functional logic programming |
156
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
145
click to vote
ENTCS
2007
15 years 3 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
158
click to vote
ELP
1991
15 years 6 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
262
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
122
click to vote
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....