Open wdv4758h opened 7 years ago
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 一樣適合作為編譯器中的中間語言。
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 一樣適合作為編譯器中的中間語言。