Fischer, Michael J. 1993. Lambda-calculus schemata. Lisp and Symbolic Computation 6(3–4):259–288.
Discuss this paper by editing this page.
The “same-frontier” problem (also know as the “same-fringe” problem) mentioned in the Prologue on page 261 (PDF page 3) is a good way to prepare your brain for this paper: begin by making sense of the Scheme solution or the OCaml solution.
-Ken
The scheme program I mentioned about are here.
Please let me know if there is any problem.
-Jun
Also, check out Fischer’s examples starting at the bottom of page 275.