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) ↗