1. Eliminating dependent pattern matching without K. (30th August 2016) Authors: COCKX, JESPER; DEVRIESE, DOMINIQUE; PIESSENS, FRANK Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. Security monitor inlining and certification for multithreaded Java. (March 2015) Authors: DAM, MADS; JACOBS, BART; LUNDBLAD, ANDREAS; PIESSENS, FRANK Journal: Mathematical structures in computer science Issue: Volume 25:Number 3(2015) Page Start: 528 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗