I think the article implements stackful coroutines since the yield calls a function where control flow jumps to, it eventually returns to the instruction(s) aft

I think the article implements stackful coroutines since the yield calls a function where control flow jumps to, it eventually returns to the instruction(s) after the yield statement. (That is, it's not a JMP)