hyperfunction
Coroutining Folds with Hyperfunctions
pdf
Sava Krstic
,
John Launchbury
このへんっておなじ？
https://ja.wikipedia.org/wiki/佐藤超函数
佐藤超函数
https://ncatlab.org/nlab/show/hyperfunction