Pages that link to "Item:Q1837177"
From MaRDI portal
The following pages link to A linear space translation of functional programs to Turner combinators (Q1837177):
Displayed 9 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Translation of Turner combinators in O(n log n) space (Q802308) (← links)
- Complexity of the combinator reduction machine (Q1075052) (← links)
- The BC-chain method for representing combinators in linear space (Q1077160) (← links)
- Variable abstraction in O(n log n) space (Q1090671) (← links)
- A fast algorithm for translating combinator expressions with BC-chains (Q1096387) (← links)
- Functional programming with combinators (Q1098628) (← links)
- A set of combinators for abstraction in linear space (Q1821553) (← links)
- Some improvements to Turner's algorithm for bracket abstraction (Q3199391) (← links)