Zip Fusion with Hyperfunctions

Type of HyperfunctionsNow that we have three models that support programmingwith coroutining continuations, it is natural to ask about thecore functionality provided by all of them. So we embark ona study of an abstract type. We give the axiomatics satisedby all three models. We establish some connections betweenthe models and obtain some precise results about \linear"models which seem to be the most relevant in this context.The upshot of this research is our thesis that all modelsof ...