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