1. Cogent: uniqueness types and certifying compilation. (27th October 2021) Authors: O'CONNOR, LIAM; CHEN, ZILIN; RIZKALLAH, CHRISTINE; JACKSON, VINCENT; AMANI, SIDNEY; KLEIN, GERWIN; MURRAY, TOBY; SEWELL, THOMAS; KELLER, GABRIELE 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) ↗
2. 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) ↗