Showing 1 - 4 results of 4 for search 'Pretnar, M', query time: 0.02s
Refine Results
-
1
[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control by Pretnar, M
Published 2017Other Authors: “…Pretnar, M…”
Dataset -
2
Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers' by Pretnar, M
Published 2016Other Authors: “…Pretnar, M…”
Dataset -
3
No value restriction is needed for algebraic effects and handlers by Kammar, O, Pretnar, M
Published 2017Journal article -
4
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control by Forster, Y, Kammar, O, Lindley, S, Pretnar, M
Published 2017Journal article