Resource-Dependent Algebraic Effects

Brady, Edwin·2015·Lecture Notes in Computer Science
DOI 10.1007/978-3-319-14675-1_2