Submitted by Jan Samols on Thu, 11/10/2012 - 13:44
Marcelo Fiore, Professor in Mathematical Foundations of Computer Science, has been awarded the 10-Year Most Influential PPDP Paper Award.
His paper, 'Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus' was published in the Proceedings of the ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming for 2002.