#

control-effects

Here are 2 public repositories matching this topic...

dhil / phd-dissertation

A summary of my activities during the past four years

algebraic-effects unix research functional-programming phd-thesis continuation-passing-style phd-dissertation continuations expressiveness effect-handlers abstract-machines expressivity computational-effects control-effects effect-handler-oriented-programming

Updated Dec 18, 2025
TeX

b-studios / idris-effekt

Delimited control effects in Idris

idris control-effects delimited-continuations

Updated Aug 23, 2020
Idris

Add this topic to your repo

To associate your repository with the control-effects topic, visit your repo's landing page and select "manage topics."