Journal Article
Editorial
Julia Lawall, Michael Leuschel and Peter Sestoft
Higher-Order and Symbolic Computation, 2008, Volume 21, Numbers 1-2, Pages 1-3
Journal Article
Program transformations for light-weight CPU accounting and control in the Java virtual machine
A systematic review
Jarle Hulaas and Walter Binder
Higher-Order and Symbolic Computation, 2008, Volume 21, Numbers 1-2, Pages 119-146
Journal Article
Editorial
Olivier Danvy and Hayo Thielecke
Higher-Order and Symbolic Computation, 2007, Volume 20, Number 4, Pages 337-338
Journal Article
Editorial
Olivier Danvy and Carolyn L. Talcott
Higher-Order and Symbolic Computation, 2009, Volume 22, Number 4, Page 293
Journal Article
Polymorphic typed defunctionalization and concretization
François Pottier and Nadji Gauthier
Higher-Order and Symbolic Computation, 2006, Volume 19, Number 1, Pages 125-162
Journal Article
Peter J. Landin (1930–2009)
Olivier Danvy
Higher-Order and Symbolic Computation, 2009, Volume 22, Number 2, Pages 191-195
Book Chapter
Walkabout Revisited: The Runabout
Christian Grothoff
Lecture Notes in Computer Science, 2003, Volume 2743, ECOOP 2003 – Object-Oriented Programming, Pages 99-108
Journal Article
Open AccessA lean specification for GADTs: system F with first-class equality proofs
Arie Middelkoop, Atze Dijkstra and S. Doaitse Swierstra
Higher-Order and Symbolic Computation, 2010, Volume 23, Number 2, Pages 145-166
Book Chapter
Simple, Effective Code-Size Reduction for Functional Programs
Ekaterina Stefanov and Anthony M. Sloane
Lecture Notes in Computer Science, 2005, Volume 3474, Implementation and Application of Functional Languages, Pages 337-363
Book Chapter
A Supercompiler for Core Haskell
Neil Mitchell and Colin Runciman
Lecture Notes in Computer Science, 2008, Volume 5083, Implementation and Application of Functional Languages, Pages 147-164