Type-Safe Dynamic Placement with First-Class Placed Values

Several distributed programming language solutions have been proposed to reason about the placement of data, computations, and peers interaction. Such solutions include, among the others, multitier programming, choreographic programming and various approaches based on behavioral types. These methods...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 7; no. OOPSLA2; pp. 2142 - 2170
Main Authors:	Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 16.10.2023
Subjects:	Distributed computing models Distributed programming languages Domain specific languages Software and its engineering Theory of computation Multitier Programming Union Types Dynamic Placement Distributed Programming Scala Placement Types
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!