POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Australian Computer Journal
A Tiny Constrain Functional Logic Language and Its Continuation Semantics
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
The Disjunctive Constrained Lambda Calculus
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
A Foundation for Higher-order Concurrent Constraint Programming
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Disjunctive constraint lambda calculi
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |
We introduce two forms of calculi that integrate constraint solving with functional programming. These are the Unrestricted, and the Restricted, Constraint-Lambda Calculi. Unlike previous attempts at combining constraint solving with lambda calculus, these are conservative extensions of traditional lambda calculi in terms of both term reduction and their denotational semantics. We establish a limited form of confluence for the unrestricted calculus and full confluence for the restricted one.