Conference item icon

Conference item

Just do it: simple monadic equational reasoning

Abstract:

One of the appeals of pure functional programming is that it is so amenable to equational reasoning. One of the problems of pure functional programming is that it rules out computational effects. Moggi and Wadler showed how to get round this problem by using monads to encapsulate the effects, leading in essence to a phase distinction - a pure functional evaluation yielding an impure imperative computation. Still, it has not been clear how to reconcile that phase distinction with the continuin...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/2034773.2034777

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Ralf Hinze More by this author
Publisher:
ACM
Publication date:
2011
DOI:
URN:
uuid:0d7f268b-e12b-4539-b50c-5088d0d773b2
Local pid:
cs:8030
ISBN:
978-1-4503-0865-6

Terms of use


Metrics



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

TO TOP