Abstract
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.
Original language | English |
---|---|
Title of host publication | Frontiers of Combining Systems |
Subtitle of host publication | 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8-10, 2002 Proceedings |
Editors | Alessandro Armando |
Place of Publication | Berlin Germany |
Publisher | Springer |
Pages | 207-222 |
Number of pages | 16 |
ISBN (Print) | 3540433813 |
DOIs | |
Publication status | Published - 2002 |
Event | International Workshop on Frontiers of Combining Systems 2002 - Santa Margherita Ligure, Italy Duration: 8 Apr 2002 → 10 Apr 2002 Conference number: 4th https://link.springer.com/book/10.1007/3-540-45988-X (Proceedings) |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 2309 |
ISSN (Print) | 0302-9743 |
Conference
Conference | International Workshop on Frontiers of Combining Systems 2002 |
---|---|
Abbreviated title | FroCoS 2002 |
Country | Italy |
City | Santa Margherita Ligure |
Period | 8/04/02 → 10/04/02 |
Internet address |
|