The Peter Landin prize

Kevin Hammond, Greg Michaelson

Research output: Contribution to journalArticlepeer-review


The Peter Landin prize honours the best paper presented at each year's International Symposium on the Implementation and Application of Functional Languages (IFL). It has been awarded every year since 2003, and covers a range of topics including functional operating systems, static analysis for cost information of functional programs, techniques to improve array processing for data locality and parallelism, explicit parallel coordination, supercompilation, and a rational deconstruction of Landin's SECD machine itself. This article describes the history of the prize, explains why Peter Landin was chosen as nominee, and describes each of the articles that have been awarded the prize to date. © 2010 Springer Science+Business Media, LLC.

Original languageEnglish
Pages (from-to)305-312
Number of pages8
JournalHigher-Order and Symbolic Computation
Issue number4
Publication statusPublished - Dec 2009


  • Functional programming
  • Parallelism
  • Programming language design
  • SECD machine
  • Static analysis
  • Supercompilation


Dive into the research topics of 'The Peter Landin prize'. Together they form a unique fingerprint.

Cite this