Lisp and Symbolic Computation, Volume 8

Volume 8, Numbers 1-2, March 1995

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

Volume 8, Number 3, September 1995

• Lars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. 191-208 BibTeX
• Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. 209-227 BibTeX
• Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation. 229-248 BibTeX
• Kei Davis: PERs from Projections for Binding-Time Analysis. 249-266 BibTeX
• Clement A. Baker-Finch: Type Theory and Projections for Static Analysis. 267-285 BibTeX

Volume 8, Number 4, December 1995

• Ian A. Mason, Martin Odersky: Special Issue on State in Programming Languages - Introduction. 291-292 BibTeX
• John Launchbury, Simon L. Peyton Jones: State in Haskell. 293-341 BibTeX
• Andrew K. Wright: Simple Imperative Polymorphism. 343-355 BibTeX
• Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: An Interpretation of Typed OOP in a Language with State. 357-397 BibTeX