Computability in Europe 2006
Logical Approaches to Computational Barriers
Special Session Talk:
Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review the allegorical foundations of a methodology of designing datatype-generic programs. The effectiveness of the methodology is demonstrated by an extraordinarily concise proof of the well-foundedness of a datatype-generic occurs-in relation.
|websites: Arnold Beckmann||2006-04-21|