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.

deletion.ss

retention.ss

demo.ss

Please let me know if there is any problem.

-Jun

---

Also, check out Fischer’s examples starting at the bottom of page 275.