Conference item icon

Conference item

Unifying Theories of Programming with Monads

Abstract:

The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a long history. We present a simple functional programming approach to this challenge, based on algebraic theories of computational effects. We make use of the powerful abstraction facilities of modern functional languages, to introduce the choice operations as a little embedded domain-specific language rather than having to define a language extension; we rely on refe...

Expand abstract

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-642-35705-3_2

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Publication date:
2012-08-01
DOI:
URN:
uuid:9c9a24ba-7b82-48bc-8ea1-e192f5e85b9b
Local pid:
cs:6167

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