COLT
2001
Springer
14 years 3 months ago
2001
Springer
A class C of recursive functions is called robustly learnable in the sense I (where I is any success criterion of learning) if not only C itself but even all transformed classes Ī...
COLT
2001
Springer
14 years 3 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a ļ¬nite number of its output values. Unifor...
TPHOL
2002
IEEE
14 years 3 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive deļ¬nitions. The operational semantics is given b...
TLCA
2005
Springer
14 years 4 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
XML transformations are most naturally deļ¬ned as recursive functions on trees. Their direct implementation, however, causes ineļ¬cient memory usage because the input XML tree is...
TLCA
2007
Springer
14 years 5 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive deļ¬nition, we deļ¬ne a co-inductive type of prophecies that characterises...
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive deļ¬nition, we deļ¬ne a co-inductive type of prophecies that characterises...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level FĻĻ in the Fast-Growing Hierarchy of recursive functions, the ļ¬rst level that dominates...
ALT
2003
Springer
14 years 7 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...
Lecture Notes
"This course has two objectives. First (and obvious) is to teach programming.
Second is to present some fundamental principles of computer science,
especially algorithm desi...