External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The essence of Reynolds

Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy. The essence of Reynolds. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 251-256, ACM, 2014. [doi]

Authors

Stephen Brookes

This author has not been identified. Look up 'Stephen Brookes' in Google

Peter W. O'Hearn

This author has not been identified. Look up 'Peter W. O'Hearn' in Google

Uday S. Reddy

This author has not been identified. Look up 'Uday S. Reddy' in Google
runs on