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.

Foundations of Consistency Types for a Higher-Order Distributed Language

Xin Zhao 0011, Philipp Haller. Foundations of Consistency Types for a Higher-Order Distributed Language. In Santosh Pande, Vivek Sarkar, editors, Languages and Compilers for Parallel Computing - 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers. Volume 11998 of Lecture Notes in Computer Science, pages 49-63, Springer, 2019. [doi]

Authors

Xin Zhao 0011

This author has not been identified. Look up 'Xin Zhao 0011' in Google

Philipp Haller

This author has not been identified. Look up 'Philipp Haller' in Google
runs on