14 citations · 36 across the 11 of their papers we have counts for
1 paper · 2 filters
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…