Browse by Person (creator, editor, contributor, etc.)
Number of items: 11. Article
Conference or workshop item
Kumar, Ramana and Myreen, Magnus O. and Norrish, Michael and Owens, Scott
(2014)
CakeML: A Verified Implementation of ML.
In: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 22-24, 2014, San Diego, California, USA.
(doi:https://doi.org/10.1145/2535838.2535841)
(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)
|
|
Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade
(2009)
The Semantics of x86-CC Multiprocessor Machine Code.
In: POPL '09: 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21st - 23rd, 2009, Savannah, Georgia, USA.
(doi:https://doi.org/10.1145/1480881.1480929)
(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)
|
|
This list was generated on Mon Apr 23 20:46:31 2018 BST.
|