research
∙
02/16/2022
Galois connecting call-by-value and call-by-name
We establish a general framework for reasoning about the relationship be...
research
∙
01/28/2018