Datatype-Generic Reasoning

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.

• Type: Conference
• Year: 2006
• Where: CIE
• Authors: Roland Carl Backhouse
• Keywords: Allegorical Foundations, Applied Computing, CIE 2006, Datatype-generic Occurs-in Relation, Datatype-generic Programs