Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
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.
Journal of Functional Programming, 20
The full text of this publication is not available from this repository.