Improving Programs which Recurse over Multiple Inductive Structures (1994)

by Leonidas Fegaras , Tim Sheard , Tong Zhou
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94
Citations:25 - 6 self

Document Versions

Improving Programs which Recurse over Multiple Inductive Structures –Leonidas Fegaras, Tim Sheard, Tong Zhou — 1994 — In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94
Improving Programs which Recurse over Multiple Inductive Structures –Leonidas Fegaras, Tim Sheard, Tong Zhou — 1994 — In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94
Improving Programs which Recurse over Multiple Inductive Structures –Leonidas Fegaras, Tim Sheard, Tong Zhou — 1994 — In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94