2005-07-02 CATEGORICAL PROGRAMMING WITH INDUCTIVE AND COINDUCTIVE TYPES functionals haskell fold Varmo Vene 118p. http://www.cs.ut.ee/~varmo/papers/thesis.pdf http://www.cs.ut.ee/~varmo/