65 citations · 72 across the 4 of their papers we have counts for
4 papers
Comprehensive Multiparty Session Types
Andi Bejleri, Elton Domnori, Malte Viering +2
Multiparty session types (MST) are a well-established type theory that describes the interactive structure of a fixed number of components from a global point of view and type-chec…
A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
Edlira Kuci, Sebastian Erdweg, Oliver Bračevac +2
This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed fu…
Parameterised Multiparty Session Types
Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri +1
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T…
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Andi Bejleri, Raymond Hu, Nobuko Yoshida
This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parall…