Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Peskine, Gilles and Ridge, Thomas and Sarkar, Susmit and Strniša, Rok
Ott: Effective Tool Support for the Working Semanticist.
In: ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)