This page is about the programming language. is also a commonly used name for the effective topos.
Eff is a functional programming language based on algebraic effects and their handlers.
Andrej Bauer, Matija Pretnar, Programming with Algebraic Effects and Handlers, arXiv:1203.1539
Last revised on October 10, 2016 at 16:50:45. See the history of this page for a list of all contributions to it.