nLab
Eff

This page is about the programming language. EffEff is also a commonly used name for the effective topos.

Contents

Idea

Eff is a functional programming language based on algebraic effects and their handlers.

References

Last revised on October 10, 2016 at 12:50:45. See the history of this page for a list of all contributions to it.