4 citations · 4 across the 1 of their papers we have counts for
1 paper
Shin-Cheng Mu, Tsung-Ju Chiang
To demonstrate derivation of monadic programs, we present a specification of sorting using the non-determinism monad, and derive pure quicksort on lists and state-monadic quicksort…