5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.PL2018
Stateful Behavioral Types for ABS
Eduard Kamburjan, Tzu-Chun Chen
It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and the constraints on states of multiple participants. To a…
cs.PL2015★ 5 cited
Typing Classes and Mixins with Intersection Types
Jan Bessai, Boris Düdder, Andrej Dudenhefner +2
We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expan…