Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, called the  sequent calculus . Perhaps that would make for a good intermediate language, too? To explore this question  designed Sequent Core, a practically-oriented core calculus based on the sequent calculus, and used it to re-implement a substantial chunk of the Glasgow Haskell Compiler.
['Paul Downen', 'Luke Maurer', 'Zena M. Ariola', 'Simon L. Peyton Jones']
I am writing a research paper on a idea Sequent calculus as a compiler intermediate language
[{"from": "human", "value": "I am writing a research paper on a idea Sequent calculus as a compiler intermediate language"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The \u03bb-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, called the  sequent calculus . Perhaps that would make for a good intermediate language, too? To explore this question  designed Sequent Core, a practically-oriented core calculus based on the sequent calculus, and used it to re-implement a substantial chunk of the Glasgow Haskell Compiler."}]