Behavioural Equivalence via Modalities for Algebraic Effects

Alex Simpson, Niels F. W. Voorneveld. Behavioural Equivalence via Modalities for Algebraic Effects. ACM Transactions on Programming Languages and Systems, 42(1), 2020. [doi]

Authors

Alex Simpson

This author has not been identified. It may be one of the following persons: Look up 'Alex Simpson' in Google

Niels F. W. Voorneveld

This author has not been identified. Look up 'Niels F. W. Voorneveld' in Google