Graded monads and quantified computational effects (2018) [pdf]mta.ca1 point·primroot··0 commentsOpen articleSaveView on HN