Thomas Ridge

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa
Ott: Effective tool support for the working semanticist. J. Funct. Program. 20 (1) (2010)