1. 5


We explore the design of Frank, a strict functional programming language designed from the ground up around a novel variant of Plotkin and Pretnar’seffect handler abstraction. Inspired by Levy’s call-by-push-value calculus, Frank makes an explicit distinction be-tween computation and value types. Frank combines the advantages of call-by-push-value, call-by-value, and effect typing.


  2. 6

    Some context from Lambda the Ultimate: http://lambda-the-ultimate.org/node/5401