Now showing items 1-2 of 2

• #### Combining Effects and Coeffects via Grading ﻿

(Association for Computing Machinery, 2016)
$\textit{Effects}$ and $\textit{coeffects}$ are two general, complementary aspects of program behaviour. They roughly correspond to computations which change the execution context (effects) versus computations which make ...