A theory with some languages dangling from it, and then for Frank, more theory:
Novel type systems designed to support shape-based programming can be found in the various programming languages described below. For example, Functorial ML supports a class of functors used to support new forms of polymorphism, which go by the name of functorial or shape polymorphism, or polytypy. Also, FISh is an Algol-like language that supports data types of arrays, by having a distinct class of shape types.
The semantics of programming languages typically uses category theory to represent the denotations of programs, so that a program and its output have the same value. However, enriched categories allow for the expression of operational information. For example, order-enriched categories can express rewriting rules.
Ehud I did due diligence with Google, and you asked for it...
Posted to theory by Mark Evans on 11/5/03; 8:24:04 PM