External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 8, Issue 1-2

    5 -- 32Joshua D. Guttman, John D. Ramsdell, Mitchell Wand. VLISP: A Verified Implementation of Scheme
    33 -- 110Joshua D. Guttman, John D. Ramsdell, Vipin Swarup. The VLISP Verified Scheme System
    111 -- 182Dino Oliva, John D. Ramsdell, Mitchell Wand. The VLISP Verified PreScheme Compiler
    runs on