External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 22, Issue 2

    113 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
    115 -- 144Aaron Stump. Directly reflective meta-programming
    145 -- 154David Monniaux. A minimalistic look at widening operators
    155 -- 189Patricia Johann, Neil Ghani. A principled approach to programming with nested types in Haskell
    191 -- 195Olivier Danvy. Peter J. Landin (1930-2009)
    runs on