Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference or Workshop Item | Thesis (University of Nottingham only)
Number of items: 2.

Conference or Workshop Item

Hu, Liyang and Hutton, Graham (2010) Compiling concurrency correctly: cutting out the middle man. In: Symposium on Trends in Functional Programming (10th), 2-4 June 2009, Komárno, Slovakia.

Thesis (University of Nottingham only)

Hu, Liyang (2013) Compiling concurrency correctly: verifying software transactional memory. PhD thesis, University of Nottingham.

This list was generated on Sat Dec 21 16:51:21 2024 UTC.