997 search results - page 15 / 200 » Completely Lazy Learning |
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
IJCV
2008
13 years 9 months ago
2008
PPDP
2001
Springer
14 years 2 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...