Type systems for distributed data structures
From MaRDI portal
Publication:5178853
DOI10.1145/325694.325717zbMath1323.68243OpenAlexW2042771246MaRDI QIDQ5178853
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
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
This page was built for publication: Type systems for distributed data structures