8766 search results - page 601 / 1754 » Functional logic programming |
177
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
151
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
127
Voted
WLP
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
149
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
140
click to vote
FPL
2000
Springer
15 years 8 months ago
2000
Springer
abstract the dynamic nature of a computation to embedded data memory (which is accessible on-chip). The dynamic nature of a computation corresponds to the dynamic features of its i...