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

Special Issue on State in Programming Languages (Part A)

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

Last update Tue Feb 14 04:21:12 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page