External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 17, Issue 3

    171 -- 171David A. Basin, Olivier Danvy, Robert Harper. Editorial
    173 -- 206David Lacey, Neil D. Jones, Eric {Van Wyk}, Carl Christian Frederiksen. Compiler Optimization Correctness by Temporal Logic
    207 -- 243Lars Michael Kristensen, Søren Christensen. Implementing Coloured Petri Nets Using a Functional Programming Language
    245 -- 265Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg. A Retrospective on Region-Based Memory Management
    runs on