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: | Gibbons, J, Bird, R |
---|---|
Format: | Record |
Published: |
2012
|
Similar Items
-
A modest proposal for research
by: Desmond Avery
Published: (2005-07-01) -
A Modest Proposal for Reading
by: Mustafa Zeki Çıraklı
Published: (2017-12-01) -
Understanding Idiomatic Traversals Backwards and Forwards
by: Bird, R, et al.
Published: (2013) -
Rewinding small motor/
by: 305705 Wilkinson, Karl
Published: (1965) -
Electrical Machine Rewinding /
by: 3G E-LEARNING
Published: (2023)