12 search results - page 1 / 3 » ppdp 2004 |
119
Voted
PPDP
2004
Springer
16 years 15 hour ago
2004
Springer
148
Voted
PPDP
2004
Springer
16 years 15 hour ago
2004
Springer
174
Voted
PPDP
2004
Springer
16 years 15 hour 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...
194
click to vote
PPDP
2004
Springer
16 years 15 hour 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 ...