LAND*: an AND with local bindings, a guarded LET* special form
Abstract
No abstract available.
Related papers
- The Ultimate Conditional Syntax OOPSLA 2024
- OutsideIn(X) Modular type inference with local assumptions JFP 2011
- Program generation, termination, and binding-time analysis ICFP 2002
- Let-floating: Moving Bindings to Give Faster Programs ICFP 1996
- Disjunctive normal forms and local exceptions ICFP 2003
- Generating a Compiler for a Lazy Language by Partial Evaluation POPL 1992
- ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP 2021
- The lands platform: lan.guages and d.omain s.yntax SLE 2019