A Type Theory for Krivine-Style Evaluation and Compilation
Abstract elided by the publisher.
Related papers
- An intuitionistic [lambda]-calculus with exceptions JFP 2005
- Normalization by evaluation for modal dependent type theory JFP 2023
- Krivine nets: a semantic foundation for distributed execution ICFP 2014
- A Generic Account of Continuation-Passing Styles POPL 1994
- Functional Runtime Systems Within the Lambda-Sigma Calculus JFP 1998
- Implementing a modal dependent type theory ICFP 2019
- A Categorical Understanding of Environment Machines JFP 1992
- A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions GPCE 2019