General item icon

General item

Be Kind‚ Rewind: A Modest Proposal about Traversal

Abstract:

A recent paper by Graham Hutton and Diana Fulger (\"Reasoning about Effects: Seeing the Wood through the Trees\", in the preproceedings of Trends in Functional Programming 2008) addresses the problem of reasoning about effectful functional programs, introducing a relabelling function on binary trees as a representative illustration. The example is a very fruitful one, but we argue that their approach is less effective than it might be, because they miss two opportunities for higher-level reas...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Author
Publication date:
2012-05-01
URN:
uuid:6fff6479-8924-4c41-83f1-82b1dad03cb7
Local pid:
cs:4876

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP