[Home Page]

Online Papers of John D. Ramsdell

Other Publications

Guttman, J. D., Wand, W., Eds. VLISP: A Verified Implementation of Scheme, Kluwer Academic Press, Boston, 1995.

Farmer, W. M., Ramsdell, J. D., Watro, R. J., "A Correctness Proof for Combinator Reduction with Cycles," ACM Trans. on Programming Languages and Systems, Vol. 12, No. 1, pp. 123-134, January 1990.

Ramsdell, J. D., "The Alonzo Functional Programming Language," SIGPLAN Notices, Vol. 24, No. 9, pp. 152-157, September 1989.

Ramsdell, J. D., "The CURRY Chip," In 1986 ACM Symposium on LISP and Functional Programming, pp. 122-131, Cambridge, MA, August 1986.

Newsam, G. N., Ramsdell, J. D., "Estimation of Sparse Jacobian Matrices," J. Alg. Disc. Meth., Vol. 4, No. 3, pp. 404-418, September 1983.

Ramsdell, J. D., "Finding Minimal Feedback Vertex Sets," IEEE Trans. on Circuits and Systems, Vol. CAS-29, No. 9, pp. 644-646, September 1982.

Ramsdell, J. D., "Variable Elimination in the Home Fire Code," presented at the 20th Joint ASME/AIChE National Heat Transfer Conference, No. 81-HT-3, Milwaukee, WI, August 1981.

Ramsdell, J. D., "Prettyprinting Structured Programs with Connector Lines," ACM SIGPLAN Notices, Vol. 14, No. 9, p. 74, September 1979.