The Tail-Recursive SECD Machine (1999)

Cached

Download Links

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