« #SequentCalculus as a Compiler Intermediate Language »

« Thanks to the #CurryHoward isomorphism, terms of the #SequentCalculus can also be seen as a #ProgrammingLanguage with an emphasis on #ControlFlow. »

« Beside the point about simple grammar — for which it is hard to improve upon the elegance of the λ-calculus — #SequentCore manages to combine the advantages of both direct and continuation-passing styles. »
http://lambda-the-ultimate.org/node/5519
#Haskell