Pages that link to "Item:Q4097259"
From MaRDI portal
The following pages link to An abstraction algorithm for combinatory logic (Q4097259):
Displayed 6 items.
- Translation of Turner combinators in O(n log n) space (Q802308) (← links)
- The BC-chain method for representing combinators in linear space (Q1077160) (← links)
- Functional programming with combinators (Q1098628) (← links)
- Abstraction problems in combinatory logic: A compositive approach (Q1262300) (← links)
- A set of combinators for abstraction in linear space (Q1821553) (← links)
- A linear space translation of functional programs to Turner combinators (Q1837177) (← links)