Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Datatype-Generic Reasoning


Speaker: Roland Backhouse

Abstract

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