The Types of Models

Lloyd Allison, School of Computer Science and Software Engineering, Monash University, Victoria, Australia 3800.
http://www.csse.monash.edu.au/~lloyd/

home1 home2
 Bib
 Algorithms
 Bioinfo
 FP
 Logic
 MML
 Prog.Lang
and the
 Book

FP (external)
FP (local)
 HICS2003
  & slides
 II

Also see:
MML

Abstract: The specification of various kinds of statistical model from machine learning and data mining is examined formally using the type and class system of the functional programming language Haskell as a meta-language. Types and classes (in the programming sense) of models, and operations on models, are defined; many are naturally polymorphic. Convenient conversion functions map between the classes of models and extend their range of usefulness. The result is a kind of theory of programming with models, not only of using them. The ``theory'' can run as an executable Haskell program or can throw light on the foundations of platforms for programming with statistical models.

Presented at the Second Hawaii International Conference on Statistics and Related Fields (HICS03), Honolulu, 2003 June 5-8.

Keywords: Model, polymorphism, type, class.

[paper (.pdf)], [paper (.ps)]

waikiki, conference venue (Sheraton), centre
Waikiki from Diamond Head
Coding Ockham's Razor, L. Allison, Springer

A Practical Introduction to Denotational Semantics, L. Allison, CUP

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite
The GIMP
~ free photoshop
Firefox
web browser

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Friday, 29-Mar-2024 06:13:48 AEDT.