External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 22, Issue 4

    293 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
    295 -- 298Richard Bornat. Peter Landin: a computer scientist who inspired a generation
    299 -- 303Paul Boca. Personal recollections of Peter Landin: 1987-2009
    305 -- 312Kevin Hammond, Greg Michaelson. The Peter Landin prize
    313 -- 314Robert D. Tennent. An introduction to Landin s Getting Rid of Labels
    315 -- 329Peter J. Landin. Getting rid of labels
    331 -- 332Tony Clark. Stories about calculations: remembering Peter Landin
    333 -- 359Peter J. Landin. Calculations

    Volume 22, Issue 3

    197 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
    199 -- 231Zaynah Dargaye, Xavier Leroy. A verified framework for higher-order uncurrying optimizations
    233 -- 273Zena M. Ariola, Hugo Herbelin, Amr Sabry. A type-theoretic foundation of delimited continuations
    275 -- 291Kenichi Asai. On typing delimited continuations: three new solutions to the printf problem

    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)

    Volume 22, Issue 1

    1 -- 0Olivier Danvy, Julian A. Padget. Editorial
    3 -- 66Tom Hirschowitz, Xavier Leroy, J. B. Wells. Compilation of extended recursion in call-by-value functional languages
    67 -- 80Matthew Naylor, Colin Runciman. Expressible sharing for functional circuit description
    81 -- 111Jean Bresson, Carlos Agon, Gérard Assayag. Visual Lisp/CLOS programming in OpenMusic
    runs on