Hugh Glaser, Pieter H. Hartel, Michael Leuschel, and Andrew Martin.
January 1 2000.
Declarative languages can be, and indeed are, widely used in education. Some
areas are in fact completely dominated by declarative languages, such as
formal methods in software engineering, and artificial intelligence. Other
areas, such as operating systems rely less on specific declarative ideas.
However as understanding of Computer Science increases, the formal basis for
such subjects is growing, and with it the need to teach in a declarative
We conclude the article with an extensive bibliography, from which we hope the interested reader can find support for teaching with declarative languages and ideas.
Full paper (18 pages) available in gzipped postscript.