Roland Backhouse,
Patrik Jansson,
Johan Jeuring and
Lambert Meertens.
Bibtex,
Full text paper (
.pdf,
.ps,
.ps.gz).
Contents
- Introduction
- The Abstraction-Specialisation Cycle
- Genericity in Programming Languages
- Path Problems
- The Plan
- Why Generic Programming?
- Algebras, Functors and Datatypes
- Algebras and Homomorphisms
- Functors
- Polynomial Functors
- Datatypes Generically
- A Simple Polytypic Program
- PolyP
- Regular Functors in PolyP
- An Example: psum
- Basic Polytypic Functions
- Type Checking Polytypic Functions
- More Examples of Polytypic Functions
- PolyLib: a Library of Polytypic Functions
- Generic Unification
- Monads and Terms
- Generic Unification
- From Functions to Relations
- Why Relations?
- Parametric Polymorphism
- Relators
- Occurs-in
- Solutions to Exercises
Last modified: Fri Dec 10 12:39:29 MET 1999
by
Patrik Jansson /
NOpatrikjSP@AMchalmers.se