skip to content

Department of Computer Science and Technology

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.

Published by Jan Samols on Thursday 11th October 2012