Where is the best formal description of rust? Is there a paper anyone recommends?
Conversation
RustBelt as has been mentioned is great, but there is a bunch of other work on this so it's probably worth shopping around to see what is best for your use case - for example there is Oxide arxiv.org/abs/1903.00982 and more recently this dl.acm.org/doi/10.1145/34, among others!
1
4
Yeah I like these as they are a bit more high level than the RustBelt stuff!