Pages that link to "Item:Q3189793"
From MaRDI portal
The following pages link to Lightweight fusion by fixed point promotion (Q3189793):
Displayed 10 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Algebraic fusion of functions with an accumulating parameter and its improvement (Q3546049) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- Folding left and right over Peano numbers (Q4972067) (← links)
- Getting There and Back Again (Q5074057) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)