Peter W. O'Hearn
-
Linear logic
ACM SIGACT News
On bunched typing
Journal of Functional Programming
Syntactic control of interference for separation logic
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages