Skip to main content

Ralf Hinze wins Peter Landin prize


Ralf Hinze has been awarded the Peter Landin prize 2009 for his paper Scans and Convolutions: A Calculational Proof of Moessner’s Theorem, presented at the 20th International Symposium on the Implementation and Application of Functional Languages in September 2008. This year's prize is especially memorable, given that Peter sadly passed away in June.