The Peter Landin prize

DOI10.1007/S10990-010-9055-7zbMath1213.68189OpenAlexW2050436001MaRDI QIDQ604860

Kevin Hammond, Greg Michaelson

Publication date: 12 November 2010

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-010-9055-7

zbMATH Keywords

parallelismstatic analysisfunctional programmingsupercompilationprogramming language designISWIMSECD machine

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) History of computer science (68-03)

Uses Software

• Eden

Cites Work

• Unnamed Item
• Unnamed Item
• Single Assignment C: efficient support for high-level array operations in a functional setting
• A Rational Deconstruction of Landin's SECD Machine with the J Operator
• With-Loop Fusion for Data Locality and Parallelism
• A Rational Deconstruction of Landin’s SECD Machine
• Implementation of Functional Languages
• The next 700 programming languages
• Parallel functional programming in Eden
• The Mechanical Evaluation of Expressions

This page was built for publication: The Peter Landin prize