External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 19, Issue 1

    5 -- 0Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann. Editorial
    7 -- 30Matthieu Martel. Semantics of roundoff error propagation in finite precision calculations
    31 -- 100Antoine Miné. The octagon abstract domain
    101 -- 124V. Krishna Nandivada, Suresh Jagannathan. Dynamic state restoration using versioning exceptions
    125 -- 162François Pottier, Nadji Gauthier. Polymorphic typed defunctionalization and concretization
    runs on