The Tail-Recursive SECD Machine (1999)

by John D. Ramsdell
Venue:Journal of Automated Reasoning