Dataset icon

Dataset

[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control

Actions


Access Document


Files:

Authors/Creators


More by this author/creator
Department:
University of Ljubljana
Role:
Researcher, Data curator, Creator

Contributors

Role:
Depositor
More from this funder
Grant:
symmetry—thenext-generationsemantics
eventscausality
Publisher:
University of Oxford
Publication date:
2017
DOI:
Language:
English
Documentation:
Text source-files for the mechanised proofs supporting the paper, formalised in Abella We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and delimited control without answer-type-modification. This comparison allows a precise discussion about the relative expressiveness of each programming abstraction. It also demonstrates the sensitivity of the relative ... Expand documentation
UUID:
uuid:3ab5c393-dee7-41d7-a2f0-576bd52391a7
Deposit date:
2017-07-09

Terms of use


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