Koka language compiler and interpreter
-
Updated
Mar 17, 2022 - Haskell
#
effect-handlers
Here are 13 public repositories matching this topic...
Links: Linking Theory to Practice for the Web
-
Updated
Mar 19, 2022 - OCaml
Effect handlers in C++
-
Updated
Mar 20, 2022 - C++
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
-
Updated
Mar 5, 2020 - WebAssembly
multi-shot continuations in OCaml
-
Updated
Mar 3, 2022 - C
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
Mar 18, 2022 - TeX
an encoding of affine effect handlers using pthreads
-
Updated
Aug 25, 2020 - C
an effect handler-oriented programming language
programming-language
algebraic-effects
compiler
runtime
continuations
effect-handlers
computational-effects
ehop
effect-handler-oriented-programming
-
Updated
Aug 30, 2021 - OCaml
Tina, a programming language with typed algebraic effects and handlers.
programming-language
algebraic-effects
interpreter
compiler
llvm
ocaml
effects
cps
type-checking
bidirectional-typechecking
effect-handlers
effect-system
-
Updated
Aug 13, 2021 - OCaml
a research programming language based on handlers
-
Updated
Mar 10, 2019 - OCaml
Use cases of different effect handlers in Jetpack Compose
-
Updated
Mar 3, 2022 - Kotlin
Source code for the effect handlers website
-
Updated
Aug 17, 2021 - HTML
Materials for my Google Tech Talk 2018
-
Updated
Dec 13, 2018 - OCaml
Improve this page
Add a description, image, and links to the effect-handlers topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the effect-handlers topic, visit your repo's landing page and select "manage topics."