control-effects

There are 0 repository under control-effects topic.

dhil / phd-dissertation
A summary of my activities during the past four years
algebraic-effects effect-handlers continuations abstract-machines continuation-passing-style expressivity functional-programming research phd-thesis expressiveness control-effects computational-effects unix phd-dissertation effect-handler-oriented-programming
Language:TeX 27
b-studios / idris-effekt
Delimited control effects in Idris
idris control-effects delimited-continuations
Language:Idris 2