Do be do be do

Sam Lindley, Conor McBride, Craig McLaughlin

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 varia…