Barbosa LS, Neves R, Martins MA, Hofmann D.? 2015.??Continuity as a computational effect.