Jana Dunfield

Elaborating evaluation-order polymorphism

2015

We classify programming languages according to evaluation order: each language fixes one evaluation order as the default, making it transparent to program in that evaluation order, and troublesome to program in the other. This paper …