Control structures in programming languages

Xavier Leroy

Control structures in programming languages: from goto to algebraic effects