Declarative Pearl: Deriving Monadic Quicksort.

Shin-Cheng Mu, Tsung-Ju Chiang

Browse the full FLOPS paper archive.