1. Linear capabilities for fully abstract compilation of separation-logic-verified code. (30th March 2021) Authors: VAN STRYDONCK, THOMAS; PIESSENS, FRANK; DEVRIESE, DOMINIQUE 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) ↗