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: 2.


Mycroft, Alan and Orchard, Dominic A. and Petricek, Tomas (2016) Effect Systems Revisited - Control-Flow Algebra and Semantics. Lecture Notes in Computer Science, . pp. 1-32. ISSN 0302-9743. (doi: (Full text available)

Book section

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 3672 . Springer, pp. 336-351. ISBN 9783540285847. (doi: (Full text available)

This list was generated on Tue Jun 19 21:17:43 2018 BST.