1. Verified secure compilation for mixed-sensitivity concurrent programs. (28th July 2021) Authors: SISON, ROBERT; MURRAY, TOBY Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗