Sequent Calculus as a Compiler Intermediate Language [pdf](microsoft.com)

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/04/sequent-calculus-icfp16.pdf