12 search results - page 1 / 3 » ppdp 2004 |
63
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
109
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
107
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
130
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...