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


Datatype-generic programs are programs that are parameterised by a
Designing datatype-generic programs brings new challenges and new
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

websites: Arnold Beckmann 2006-04-21 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by