External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 8, Issue 4

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

    Volume 8, Issue 3

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

    Volume 8, Issue 1-2

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