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