Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Article

Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Peskine, Gilles and Ridge, Thomas and Sarkar, Susmit and Strniša, Rok (2010) Ott: Effective Tool Support for the Working Semanticist. Journal of Functional Programming, 20 (1). pp. 71-122. ISSN 0956-7968. (The full text of this publication is not available from this repository)

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 (2007) 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 available from this repository)

Owens, Scott and Peskine, Gilles (2007) Verifying Type Soundness for OCaml: The Core Language. In: 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory. (Unpublished) (The full text of this publication is not available from this repository)

This list was generated on Wed Nov 26 12:53:30 2014 GMT.