1. Iris from the ground up: A modular foundation for higher-order concurrent separation logic. (2018) Authors: JUNG, RALF; KREBBERS, ROBBERT; JOURDAN, JACQUES-HENRI; BIZJAK, ALEŠ; BIRKEDAL, LARS; DREYER, DEREK Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Iris from the ground up: A modular foundation for higher-order concurrent separation logic. (22nd November 2018) Authors: JUNG, RALF; KREBBERS, ROBBERT; JOURDAN, JACQUES-HENRI; BIZJAK, ALEŠ; BIRKEDAL, LARS; DREYER, DEREK Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. (15th April 2021) Authors: SKORSTENGAARD, LAU; DEVRIESE, DOMINIQUE; BIRKEDAL, LARS 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) ↗