Galois connecting call-by-value and call-by-name

Dylan McDermott, Alan Mycroft

We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with computational effects, call-by-value and call-by-nam…