Elaborating Evaluation-Order Polymorphism — mentioned by tome

Thu, 18 Jun 2015 15:29:14 GMT

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.

Paper and discussion history. A mention is not an endorsement.

Elaborating Evaluation-Order Polymorphism · HackerPapers discussions

Elaborating Evaluation-Order Polymorphism — mentioned by tome