Bodil Biering, Lars Birkedal, Noah Torp-Smith. BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Transactions on Programming Languages and Systems, 29(5):24, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.