TY - GEN
T1 - Typed Non-determinism in Functional and Concurrent Calculi
AU - van den Heuvel, Bas
AU - Paulus, Joseph W.N.
AU - Nantes-Sobrinho, Daniele
AU - Pérez, Jorge A.
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
PY - 2023
Y1 - 2023
N2 - We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearity is delicate: careless handling of branches can discard resources meant to be used exactly once. Here we go beyond prior work by considering non-determinism in its standard sense: once a branch is selected, the rest are discarded. Our technical contributions are three-fold. First, we introduce a π -calculus with non-deterministic choice, governed by session types. Second, we introduce a resource λ -calculus, governed by intersection types, in which non-determinism concerns fetching of resources from bags. Finally, we connect our two typed non-deterministic calculi via a correct translation.
AB - We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearity is delicate: careless handling of branches can discard resources meant to be used exactly once. Here we go beyond prior work by considering non-determinism in its standard sense: once a branch is selected, the rest are discarded. Our technical contributions are three-fold. First, we introduce a π -calculus with non-deterministic choice, governed by session types. Second, we introduce a resource λ -calculus, governed by intersection types, in which non-determinism concerns fetching of resources from bags. Finally, we connect our two typed non-deterministic calculi via a correct translation.
UR - http://www.scopus.com/inward/record.url?scp=85178573388&partnerID=8YFLogxK
U2 - 10.1007/978-981-99-8311-7_6
DO - 10.1007/978-981-99-8311-7_6
M3 - Conference contribution
AN - SCOPUS:85178573388
SN - 9789819983100
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 112
EP - 132
BT - Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings
A2 - Hur, Chung-Kil
PB - Springer Science and Business Media Deutschland GmbH
CY - Singapore
T2 - 21st Asian Symposium on Programming Languages and Systems, APLAS 2023
Y2 - 26 November 2023 through 29 November 2023
ER -