1686 search results - page 59 / 338 » Higher Order Deforestation |
113
click to vote
PPCP
1993
15 years 4 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
POPL
1994
ACM
15 years 4 months ago
1994
ACM
SIGGRAPH
1993
ACM
15 years 4 months ago
1993
ACM
Many of the current radiosity algorithms create a piecewise constant approximation to the actual radiosity. Through interpolation and extrapolation, a continuous solution is obtai...
LFCS
1992
Springer
15 years 3 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
100
click to vote
ICML
1989
IEEE
15 years 3 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...