The Tail-Recursive SECD Machine (1999)

Cached

Download Links

by John D. Ramsdell
Venue:Journal of Automated Reasoning
Citations:5 - 0 self

Document Versions

The Tail-Recursive SECD Machine –John D. Ramsdell — 1999 — Journal of Automated Reasoning
The tail-recursive SECD machine –John D. Ramsdell — 1999 — Journal of Automated Reasoning