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

DOI10.1145/1291151.1291181MaRDI QIDQ5168931zbMATH OpenOpenAlexFDO

Authors 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

channel localitydistributed languageshigher-order channelsparallel languages

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)

Recommendations

• Type-safe higher-order channels with channel locality
• Channel dependent types for higher-order mobile processes
• scientific article; zbMATH DE number 5994824
• Types for deadlock-free higher-order programs
• scientific article; zbMATH DE number 2118223

Cited in

(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

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