Pages that link to "Item:Q2820681"
From MaRDI portal
The following pages link to The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681):
Displayed 6 items.
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- (Q4972738) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5089007) (← links)