2-level lambda-lifting
No abstract available.
Related papers
- The calculus of dependent lambda eliminations JFP 2017
- Query Lifting - Language-integrated query for heterogeneous nested collections ESOP 2021
- Specification and correctness of lambda lifting JFP 2003
- A Non-Deterministic Call-by-Need Lambda Calculus ICFP 1998
- A unified approach to fully lazy sharing POPL 2012
- Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions CPP 2016
- Localizing Type Errors for Syntactic Sugar by Lifting OOPSLA 2026
- Verified lifting of stencil computations PLDI 2016