The VLISP Verified Scheme System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Joshua D. Guttman, John D. Ramsdell, Vipin Swarup. The VLISP Verified Scheme System. Higher-Order and Symbolic Computation, 8(1-2):33-110, 1995.

@article{GuttmanRS95,
  title = {The VLISP Verified Scheme System},
  author = {Joshua D. Guttman and John D. Ramsdell and Vipin Swarup},
  year = {1995},
  researchr = {https://researchr.org/publication/GuttmanRS95},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {8},
  number = {1-2},
  pages = {33-110},
}

runs on WebDSL