External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 6, Issue 3-4

    233 -- 248John C. Reynolds. The Discoveries of Continuations
    249 -- 258Lockwood Morris. The Next 700 Formal Language Descriptions
    259 -- 288Michael J. Fischer. Lambda-Calculus Schemata
    289 -- 360Amr Sabry, Matthias Felleisen. Reasoning about Programs in Continuation-Passing Style
    361 -- 380Robert Harper, Mark Lillibridge. Polymorphic Type Assignment and CPS Conversion
    runs on