Peter O'Hearn

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

From categorical logic to Facebook engineering

Peter O'Hearn (2015) · 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science

Permission accounting in separation logic

Richard Bornat et al. (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages