Sequent calculus as a compiler intermediate language

DOI10.1145/2951913.2951931zbMath1360.68326OpenAlexW2509085585MaRDI QIDQ2982003

Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2951913.2951931

zbMATH Keywords

sequent calculusnatural deductionHaskellcontinuationscompiler optimizationsintermediate representations

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A Classical Sequent Calculus with Dependent Types ⋮ Unnamed Item

Uses Software

• Haskell
• GHC

This page was built for publication: Sequent calculus as a compiler intermediate language