Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices

Niels F. W. Voorneveld. Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. In Patricia Johann, editor, Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020. Volume 352 of Electronic Notes in Theoretical Computer Science, pages 257-281, Elsevier, 2020. [doi]

Abstract

Abstract is missing.