LISP and Symbolic Computation
Volume 8, Issue 1/2 (1995) Special Issue on VLISP
| pp.5-32 |
VLISP: A Verified Implementation of Scheme
Joshua D. Guttman, John D. Ramsdell and Mitchell Wand [abstract | local copy] |
| pp.33-110 |
The VLISP Verified Scheme System
Joshua D. Guttman, John D. Ramsdell and Vipin Swarup [abstract | local copy] |
| pp.111-182 |
The VLISP Verified PreScheme Compiler
Dino P. Oliva, John D. Ramsdell and Mitchell Wand [abstract | local copy] |
Volume 8, Issue 3 (1995) Special Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94)
| pp.191-208 |
Binding-Time Analysis for Standard ML
Lars Birkedal and Morten Welinder [abstract | local copy] |
| pp.209-227 |
The Essence of Eta-Expansion in Partial Evaluation
Olivier Danvy, Karoline Malmkjær and Jens Palsberg [abstract | local copy] |
| pp.229-248 |
Dictionary-Free Overloading by Partial Evaluation
Mark P. Jones [abstract] |
| pp.249-266 |
PERs from Projections for Binding-Time Analysis
Kei Davis [abstract | local copy] |
| pp.267-285 |
Type Theory and Projections for Static Analysis
Clement A. Baker-Finch [abstract] |
Volume 8, Issue 4 (December 1995) Special Issue on State in Programming Languages (Part I)
| pp.293-341 |
State in Haskell
John Launchbury and Simon L. Peyton Jones [abstract | local copy] |
| pp.343-355 |
Simple Imperative Polymorphism
Andrew K. Wright [abstract | local copy] |
| pp.357-397 |
An Interpretation of Typed OOP in a Language with State
Jonathan Eifrig, Scott Smith, Valery Trifonov and Amy Zwarico [abstract] |