Declarative Pearl: Deriving Monadic Quicksort. - Shin-Cheng Mu; Tsung-Ju Chiang (FLOPS, 2020)

Longest segment of balanced parentheses - an exercise in program inversion in a segment problem (Functional Pearl). - Shin-Cheng Mu; Tsung-Ju Chiang (CoRR, 2021)

Deriving monadic quicksort (Declarative Pearl). - Shin-Cheng Mu; Tsung-Ju Chiang (CoRR, 2021)

Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. - Shin-Cheng Mu; Tsung-Ju Chiang (J. Funct. Program., 2021)

Staged Compilation with Module Functors. - Tsung-Ju Chiang; Jeremy Yallop; Leo White; Ningning Xie (Proc. ACM Program. Lang., 2024)