And Andrew Kennedy gave a very nice lecture on this recently as part of Xavier Leroy's seminar on control structures: https://www.college-de-france.fr/fr/agend

And Andrew Kennedy gave a very nice lecture on this recently as part of Xavier Leroy's seminar on control structures: https://www.college-de-france.fr/fr/agenda/seminaire/structures-de-controle-de-goto-aux-effets-algebriques/compiling-and-typing-with-continuations https://www.college-de-france.fr/fr/agenda/seminaire/structu...