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.

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Aaron Turon, Derek Dreyer, Lars Birkedal. Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. In Greg Morrisett, Tarmo Uustalu, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. pages 377-390, ACM, 2013. [doi]

Authors

Aaron Turon

This author has not been identified. It may be one of the following persons: Look up 'Aaron Turon' in Google

Derek Dreyer

This author has not been identified. Look up 'Derek Dreyer' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google
runs on