*Result*: Foundations of Consistency Types for a Higher-Order Distributed Language

Title:
Foundations of Consistency Types for a Higher-Order Distributed Language
Languages and compilers for parallel computing (International workshop)
Source:
Lecture notes in computer science. 11998:49-63
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings