morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Find out what correspondence holds between generators (yield/run) maps to continuations

Open prathyvsh opened this issue 4 years ago • 0 comments

Relevant paper: http://parametricity.net/dropbox/yield.subc.pdf

prathyvsh avatar Sep 15 '20 14:09 prathyvsh