Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Special Session Talk:
Datatype-Generic Reasoning

Speaker: Roland Backhouse
Presentation: Datatype-Generic Reasoning.pdf

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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net