1686 search results - page 71 / 338 » Higher Order Deforestation |
ENTCS
2006
14 years 12 months ago
2006
IJCV
2006
14 years 12 months ago
2006
103
click to vote
CORR
2007
Springer
14 years 12 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
103
click to vote
KI
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
113
click to vote
LISP
2008
14 years 12 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...