Shin-Cheng Mu

Identifiers

• name variant Shin-Cheng Mu 0.60 · backfill

Papers (8)

1. Binomial Tabulation: A Short Story cs.PL · 2025 · author #2
2. Bottom-up computation using trees of sublists (Functional Pearl) cs.PL · 2023 · author #1
3. Deriving monadic quicksort (Declarative Pearl) cs.PL · 2021 · author #1
4. A greedy algorithm for dropping digits (Functional Pearl) cs.PL · 2021 · author #2
5. Longest segment of balanced parentheses -- an exercise in program inversion in a segment problem (Functional Pearl) cs.PL · 2021 · author #1
6. Calculating a backtracking algorithm: an exercise in monadic program derivation cs.PL · 2021 · author #1
7. Equational reasoning for non-determinism monad: the case of Spark aggregation cs.PL · 2021 · author #1
8. An Executable Sequential Specification for Spark Aggregation cs.DC · 2017 · author #4

Mentions

• 2503.04001 #2 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 2311.18528 #1 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 2101.09700 #2 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 2101.09699 #1 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 2101.11421 #1 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 2101.09409 #1 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 2101.09408 #1 · arxiv_oai · confidence 0.70 Shin-Cheng Mu
• 1702.02439 #4 · arxiv_oai · confidence 0.70 Shin-Cheng Mu

Frequent Coauthors

• Tsung-Ju Chiang 2 shared papers
• Bow-Yaw Wang 1 shared papers
• Chih-Duo Hong 1 shared papers
• Hsiang-Shang Ko 1 shared papers
• Jeremy Gibbons 1 shared papers
• Nishant Sinha 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Richard Bird 1 shared papers
• Yu-Fang Chen 1 shared papers