65 citations · 72 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…