Ott: effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa

Browse the full ICFP paper archive.