Type systems for distributed data structures

DOI10.1145/325694.325717MaRDI QIDQ5178853zbMATH OpenOpenAlexFDO

Authors Ben Liblit, Alexander Aiken

Publication date 17 March 2015

Published in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/325694.325717

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 2090851
• scientific article; zbMATH DE number 7075898
• scientific article; zbMATH DE number 1832235
• Spatial-behavioral types for concurrency and resource control in distributed systems
• More dependent types for distributed arrays

Cited in

(11)

• More dependent types for distributed arrays
• A type language for distributed reactive components governed by communication protocols
• Efficient communication and collection with compact normal forms
• scientific article; zbMATH DE number 5994824 (Why is no real title available?)
• scientific article; zbMATH DE number 2090851 (Why is no real title available?)
• scientific article; zbMATH DE number 7075898 (Why is no real title available?)
• A proof system for a PGAS language
• Type systems for distributed programs: components and sessions
• Acute: High-level programming language design for distributed computation
• scientific article; zbMATH DE number 2242604 (Why is no real title available?)
• Handling mobility failures by modal types

This page was built for publication: Type systems for distributed data structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178853)