Type-safe higher-order channels with channel locality

DOI10.1017/S0956796808006989zbMath1162.68394OpenAlexW2168755491MaRDI QIDQ5302647

Sungwoo Park, Hyeonseung Im

Publication date: 8 January 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796808006989

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• A judgmental reconstruction of modal logic
• The m-calculus
• MULTILISP: a language for concurrent symbolic computation
• A Constructive Logic for Services and Information Flow in Computer Networks
• Natural Deduction for Hybrid Logic
• Type-safe higher-order channels in ML-like languages
• The development of Erlang

This page was built for publication: Type-safe higher-order channels with channel locality