Control structures in programming languages: from goto to algebraic effectsxavierleroy.org 3srid10modiscuss