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

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

2017 2015 2014

Number of items: 3.

2017

Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter (2017) Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC. In: ACM SIGPLAN Notices - POPL '17. POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM ISBN 978-1-4503-4660-3. (doi:https://doi.org/10.1145/3009837.3009839) (Full text available)

Preview

2015

Little, Christopher and Gray, Kathryn E. and Owens, Scott (2015) JSTyper: Type inference fo JavaScript. In: Implementation and application of functional programming languages, 14-16 September, 2015, Koblenz, Germany. (Unpublished) (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)

2014

Mulligan, Dominic P. and Owens, Scott and Gray, Kathryn E. and Ridge, Tom and Sewell, Peter (2014) Lem: reusable engineering of real-world semantics. In: The 19th ACM SIGPLAN International Conference on Functional Programming, September 2014, Gothenburg, Sweden. (doi:https://doi.org/10.1145/2628136.2628143) (Full text available)

Preview

This list was generated on Tue Apr 30 06:54:53 2019 BST.