Submitted by Jan Samols on Fri, 08/09/2017 - 18:12
Computer Laboratory researchers, led by Professor Peter Sewell, have won the SIGPLAN Most Influential ICFP Paper Award 2017.
The paper “Ott: Effective Tool Support for the Working Semanticist” is joint work between members of the Computer Laboratory's Programming, Logic, and Semantics Group and Francesco Zappa Nardelli of INRIA Paris.
