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
• Joshua D. Guttman, John D. Ramsdell, Vipin Swarup: The VLISP Verified Scheme System. 33-110
• Dino Oliva, John D. Ramsdell, Mitchell Wand: The VLISP Verified PreScheme Compiler. 111-182

Volume 8, Number 3, September 1995

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

Volume 8, Number 4, December 1995

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