External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 21, Issue 4

    359 -- 0Olivier Danvy, Ian A. Mason. Editorial
    361 -- 376Jeffrey Mark Siskind, Barak A. Pearlmutter. Nesting forward-mode AD in a functional framework
    377 -- 409Scott Owens, Konrad Slind. Adapting functional programs to higher order logic
    411 -- 442Torben Amtoft. Flow-sensitive type systems and the ambient calculus
    runs on