14 citations · 36 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 12 cited
What Makes a Strong Monad?
Dylan McDermott, Tarmo Uustalu
Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that ha…
cs.PL2022
Galois connecting call-by-value and call-by-name
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…