2 citations · 3 across the 13 of their papers we have counts for
1 paper · 2 filters
Jack Liell-Cock, Zev Shirazi, Sam Staton
Relative monads provide a controlled view of computation. We generalise the monadic metalanguage to a relative setting and give a complete semantics with strong relative monads. Ad…