4 ms·

There have been some theoretical unifying attempts such as Paul Levy's "Call By Push Value" and more recently this http://arxiv.org/abs/1504.07680 But I h

by tome 11y ago

There have been some theoretical unifying attempts such as Paul Levy's "Call By Push Value" and more recently this http://arxiv.org/abs/1504.07680 But I haven't found anything particularly satisfying from the practical point of view.