The Peter Landin prize

Authors:
Kevin Hammond;Greg Michaelson
Affiliations:
School of Computer Science, University of St. Andrews, St. Andrews, Scotland;School of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland
Venue:
Higher-Order and Symbolic Computation
Year:
2009

Citing 19
Cited 0

Secd-m: a virtual machine for applicative programming

Proc. of a conference on Functional programming languages and computer architecture
Proving the correctness of reactive systems using sized types

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The next 700 programming languages

Communications of the ACM
Research Directions in Parallel Functional Programming

Research Directions in Parallel Functional Programming
Single Assignment C: efficient support for high-level array operations in a functional setting

Journal of Functional Programming
Parallel functional programming in Eden

Journal of Functional Programming
Programming Languages, Information Structures, and Machine Organization.

Programming Languages, Information Structures, and Machine Organization.
Merging compositions of array skeletons in SAC

Parallel Computing - Algorithmic skeletons
A Supercompiler for Core Haskell

Implementation and Application of Functional Languages
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures

Proceedings of the 4th workshop on Declarative aspects of multicore programming
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

ISPA '08 Proceedings of the 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications
Parallel FFT with Eden Skeletons

PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Implementing Parallel Google Map-Reduce in Eden

Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Towards a strongly typed functional operating system

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Parallel coordination made explicit in a functional setting

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Scans and convolutions: a calculational proof of Moessner's theorem

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
A rational deconstruction of landin's SECD machine

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Inferring cost equations for recursive, polymorphic and higher-order functional programs

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
With-Loop fusion for data locality and parallelism

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.