Sept. 19, 2018
At the beginning of September, the ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) awarded the Test of Time Award to the paper:
Programming with proofs and explicit contexts, B. Pientka and J. Dunfield,
which was published at PPDP’08. Each year, the the steering committee selects the most influential paper from the conference 10 years ago to recognize the authors' contribution to PPDP's influence in the area of declarative programming. Congratulations to Prof. Pientka on this outstanding achievement!