Type-safe higher-order channels in ML-like languages

DOI10.1145/1291151.1291181zbMath1291.68128OpenAlexW2079914070MaRDI QIDQ5168931

Sungwoo Park

Publication date: 21 July 2014

Published in: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

parallel languageschannel localitydistributed languageshigher-order channels

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Type-safe higher-order channels with channel locality ⋮ A modal logic internalizing normal proofs

This page was built for publication: Type-safe higher-order channels in ML-like languages