Automatic Autoprojection of Higher Order Recursive Equations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Anders Bondorf. Automatic Autoprojection of Higher Order Recursive Equations. In Neil D. Jones, editor, ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Volume 432 of Lecture Notes in Computer Science, pages 70-87, Springer, 1990.

The following publications are possibly variants of this publication:

Automatic Autoprojection of Higher Order Recursive EquationsAnders Bondorf. SCP, 17(1-3):3-34, 1991.

Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data TypesAnders Bondorf, Olivier Danvy. SCP, 16(2):151-195, 1990.

runs on WebDSL