12 search results - page 1 / 3 » ppdp 2004 |
117
Voted
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
157
Voted
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
144
Voted
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
166
Voted
PPDP
2004
Springer
15 years 11 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...
188
Voted
PPDP
2004
Springer
15 years 11 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 ...