Searching for "Higher Order Flattening." – sorted by Relevance.
-
Higher-Order Rewriting and Partial Evaluation
- the function reduction (thus this program is higher-order): Flatten(t) ! Fold( ia:Cons(i; a) ; c 1 c 2 a:c 1
- Cited by 7 (4 self) – Add To MetaCart

