Pages that link to "Item:Q4236754"
From MaRDI portal
The following pages link to Functional runtime systems within the lambda-sigma calculus (Q4236754):
Displayed 11 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- Explaining the lazy Krivine machine using explicit substitution and addresses (Q2464715) (← links)
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- (Q5111306) (← links)