External Links

Cite Key

Statistics

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

PDF

Tags

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.

Towards type-theoretic semantics for transactional concurrency

Aleksandar Nanevski, Paul Govereau, Greg Morrisett. Towards type-theoretic semantics for transactional concurrency. In Andrew Kennedy, Amal Ahmed, editors, Proceedings of TLDI 08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. pages 79-90, ACM, 2009. [doi]

Authors

Aleksandar Nanevski

This author has not been identified. Look up 'Aleksandar Nanevski' in Google

Paul Govereau

This author has not been identified. Look up 'Paul Govereau' in Google

Greg Morrisett

This author has not been identified. Look up 'Greg Morrisett' in Google
runs on