Ralf Hinze wins Peter Landin prize
Posted: 28th September 2009
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.