4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2021★ 4 cited
Deriving monadic quicksort (Declarative Pearl)
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…
cs.PL2021
Longest segment of balanced parentheses -- an exercise in program inversion in a segment problem (Functional Pearl)
Shin-Cheng Mu, Tsung-Ju Chiang
Given a string of parentheses, the task is to find the longest consecutive segment that is balanced, in linear time. We find this problem interesting because it involves a combinat…