Design patterns in separation logic

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse. Design patterns in separation logic. In Andrew Kennedy, Amal Ahmed, editors, Proceedings of TLDI 08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. pages 105-116, ACM, 2009. [doi]