A Tiny Constrain Functional Logic Language and Its Continuation Semantics

Authors:
Andy Mück;Thomas Streicher
Affiliations:
-;-
Venue:
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Year:
1994

Constraint-Lambda Calculi

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A new generic scheme for functional logic programming with constraints

Higher-Order and Symbolic Computation
Constraint Functional Logic Programming Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)
A language for automatically enforcing privacy policies

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Hi-index	0.00