4 ms·
Sorry for the late comment, but... Do you have any literature references on the combination of delimited continuations and effect systems. I would certainly be
by throwaway17_17 5y ago
Sorry for the late comment, but... Do you have any literature references on the combination of delimited continuations and effect systems. I would certainly be interested in some of the formalisms used to discuss the efficiency characteristics of effectful computations.
- isaacimagine 5y agoOleg has a lot of good work on continuations and effects. You can also check his papers for additional references, but the papers on these two pages of his should serve a good jumping off point: https://okmij.org/ftp/Computation/dynamic-binding.html#DDBinding https://okmij.org/ftp/Computation/dynamic-binding.html#DDBin... https://okmij.org/ftp/Computation/#Shonan-handlers https://okmij.org/ftp/Computation/#Shonan-handlers