u/gallaisin r/compsci • Recommends
Sequent Calculus as a Compiler Intermediate Language
0:00 / 0:00
#sequentcalculus#intermediaterepresentation#icfp
1 07 Sequent Calculus as a Compiler Intermediate Language
ICFP Video
3.8K subscribers • 23 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
2K views10 years ago1 recommendation
Systems programmingProgramming languagesCompilers and interpretersLanguage design and type systemsFunctional programming
A conference talk from ICFP 2016 exploring the use of sequent calculus as an intermediate language for compilers.
The uploader added no description.Why it's here
1 person recommends thisWhat people say. Recommended as an insightful talk on compiler intermediate representations and sequent calculus.