andrejbauer/what-is-algebraic-about-algebraic-effects

TeX

65 commits

updated Jul 5, 2019

README

What is algebraic about algebraic effects and handlers?

A short tutorial on how algebraic computational effects are related to algebraic theories, which has been published as arXiv 1807.05923.

Contributors

andrejbauer

57 commits

matijapretnar

7 commits

dhil

1 commits

Similar repos

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,149

abuseofnotation/category-theory-illustrated

A book about category theory

486

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

470

benediktahrens/CT4P

matijapretnar/eff

A functional programming language based on algebraic effect handlers

924

ekmett/algebra

constructive abstract algebra

106

brendanzab/algebra

Abstract algebra for Rust (still very much a WIP!)

Sajidsaj/True-Math

Languages

TeX

100.0%