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)