The proceedings contain 13 papers. The topics discussed include: a calculus of delayed reductions;multicompatibility for multiparty-session composition;termination in concurrency, revisited;typed equivalence of labele...
ISBN:
(纸本)9798400708121
The proceedings contain 13 papers. The topics discussed include: a calculus of delayed reductions;multicompatibility for multiparty-session composition;termination in concurrency, revisited;typed equivalence of labeled effect handlers and labeled delimited control operators;type-directed program transformation for constant-time enforcement;comprehending queries over finite maps;intuitionistic metric temporal logic;strongly-typed multi-view stack-based computations;and polymorphic typestate for session types;additive cellular automata graded-monadically.
暂无评论