Skip to main content

Higher order messaging

Marcel Weiher, Stéphane Ducasse

DOI 10.1145/1146841.1146844 dblp BibTeX

Abstract

We introduce Higher Order Messaging, a higher order programming mechanism for dynamic object-oriented languages. Higher Order Messages allow user-defined message dispatch mechanism to be expressed using an optimally compact syntax that is a natural extension of plain messaging and also have a simple conceptual model. They can be implemented without extending the base language and operate through language bridges.

Related papers

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026
Pirouette: higher-order typed functional choreographies POPL 2022
Higher-Order Functions for Parsing JFP 1992
The m-calculus: a higher-order distributed process calculus POPL 2003
Chaperone contracts for higher-order sessions ICFP 2017
Monitors and blame assignment for higher-order session types POPL 2016
Message analysis for concurrent programs using message passing TOPLAS 2006