TY  - RPRT
TI  - Deriving monadic quicksort (Declarative Pearl)
AU  - Shin-Cheng Mu
AU  - Tsung-Ju Chiang
PY  - 2021
DO  - 10.1007/978-3-030-59025-3_8
UR  - https://arxiv.org/abs/2101.11421
ID  - 2101.11421
ER  -