Do be do be do
Sam Lindley, Conor Thomas McBride, Craig A. McLaughlin · 2016
We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction.