[2016] Sequent calculus as a compiler intermediate language

[wdv4758h]

URL: https://www.microsoft.com/en-us/research/publication/sequent-calculus-as-a-compiler-intermediate-language/

Sequent Calculus 和是 Lambda Calculus 同時期的 deduction system，這篇論文在 GHC 中嘗試看看 Sequent Calculus 是否和 Lambda Calculus 一樣適合作為編譯器中的中間語言。