Pages that link to "Item:Q673126"
From MaRDI portal
The following pages link to Properties of a first-order functional language with sharing (Q673126):
Displaying 8 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Relating graph and term rewriting via Böhm models (Q1924551) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Q5878908) (← links)
