Contextual effects for version-consistent dynamic software updating and safe concurrent programming

This paper presents a generalization of standard effect systems that we call contextual effects. A traditional effect system computes the effect of an expression e. Our system additionally computes...