24 citations · 41 across the 6 of their papers we have counts for
1 paper · 1 filter
Rasmus Ejlers Møgelberg, Sam Staton
We investigate the phenomenon that "every monad is a linear state monad". We do this by studying a fully-complete state-passing translation from an impure call-by-value language to…