24 citations · 38 across the 4 of their papers we have counts for
1 paper · 2 filters
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…