Be Kind‚ Rewind: A Modest Proposal about Traversal
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 bi...
| Main Authors: | , |
|---|---|
| Format: | Record |
| Published: |
2012
|