External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 9, Issue 1

    7 -- 76Uday S. Reddy. Global State Considered Unnecessary: An Introduction to Object-Based Semantics
    77 -- 107Ian Stark. Categorical Models for Local Names
    109 -- 143Jonathan Springer, Samuel N. Kamin. Strictness Analysis in the Imperative Lambda Calculus
    runs on