128 search results - page 17 / 26 » Data-driven Induction of Functional Programs |
103
Voted
ALT
2003
Springer
15 years 10 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
104
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
84
Voted
EOR
2006
15 years 1 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
129
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
225
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...