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.
↧
Computer Laboratory researchers win SIGPLAN Most Influential ICFP Paper Award 2017
↧