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