Pages that link to "Item:Q1107512"
From MaRDI portal
The following pages link to Automatic binding time analysis for a typed \(\lambda\)-calculus (Q1107512):
Displayed 7 items.
- Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic (Q750415) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- A partial evaluator for a parallel lambda language (Q1372879) (← links)
- Enhanced type inference for binding-time analysis (Q2061291) (← links)
- On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
- Using transformations in the implementation of higher-order functions (Q4939691) (← links)
- Comparing flow-based binding-time analyses (Q5096754) (← links)