12 search results - page 1 / 3 » ppdp 2004 |
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
PPDP
2004
Springer
13 years 10 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...
PPDP
2004
Springer
13 years 10 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 ...