Technical Report 2004/153.
Examined, the succinct expression of general solutions
to inductive inference problems.
Haskell types and type classes define the properties
of various kinds of statistical model -- distributions,
function models and time-series.
This is an application of Haskell which
itself has applications, and
is almost as general as Haskell's own area of application.
Case studies in inductive inference, including
mixtures of Markov models,
missing data, and
mixed Bayesian networks,
illustrate the functional style of programming with models.
Polymorphic types, type inference, high-order functions and lazy evaluation
are all useful.
minimum message length,
and later work.