Reference. Control structures in programming languages: From goto to algebraic effects [2OP2]

Xavier Leroy · https://xavierleroy.org/control-structures/book/index.html

介紹程式語言中的控制結構