Alphabetical Order

Paper Title	Postscript	Abstract
Coherence in Category Theory and the Church-Rosser Property
Compositional Characterization of Observable Program Properties
Costing Parallel Programs as a Function of Shapes
Covariant Types
Data Categories
Distinguishing Data Structures and Functions: the Constructor Calculus and Functorial Types
The Essence of the Visitor Pattern
Experiments with Generic Visitors
Finite Objects in a Locos
The FISh language definition
Fixpoint and Loop Constructions as Colimits
A Fresh Look at Parametric Polymorphism: Covariant Types
The Functional Imperative: Shape!
Functorial ML
Functors, Types and Shapes
An Introduction to Categories in Computing
Matrices, Monads and the Fast Fourier Transform
Modelling Reduction in Confluent Categories
A Monadic Calculus for Parallel Costing in a Functional Language of Arrays
Monads, Shapely Functors and Traversals
Partial Evaluation of Shaped Programs: Experience with FISh
Partial Functions, Ordered Categories, Limits and Cartesian Closure
The Pattern Calculus
Poly-Dimensional Array Programming
Polynomial Polymorphism
Polymorphism over Nested Regular Arrays: theory and implementation in FiSh
A Semantics for Shape
Separating Shape from Data
Shape Analysis for Parallel Computing
Shape Checking of Array Programs
Shape in Computing
Shapely Types and Shape Polymorphism
Shaping Object-Oriented Programs
Tail Recursion Through Universal Invariants
The Virtues of Eta-Expansion

Please feel free to send any comments.