Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types (1990)

Cached

Download Links

by Anders Bondorf , Olivier Danvy
Venue:Science of Computer Programming
Citations:117 - 30 self

Document Versions

Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types –Anders Bondorf, Olivier Danvy — 1990 — Science of Computer Programming