Algebraic Methods for Optimization Problems. - Richard S. Bird; Jeremy Gibbons; Shin-Cheng Mu (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000)

On Building Trees with Minimum Height, Relationally. - Shin-Cheng Mu (APLAS, 2000)

Out-of-Core Functional Programming with Type-Based Primitives. - Tyng-Ruey Chuang; Shin-Cheng Mu (PADL, 2000)

Functional Quantum Programming. - Shin-Cheng Mu; Richard S. Bird (APLAS, 2001)

Inverting Functions as Folds. - Shin-Cheng Mu; Richard S. Bird (MPC, 2002)

Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. - Shin-Cheng Mu; Richard S. Bird (APLAS, 2003)

A calculational approach to program inversion. - Shin-Cheng Mu (2003)

An Algebraic Approach to Bi-directional Updating. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (APLAS, 2004)

An Injective Language for Reversible Computation. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (MPC, 2004)

Inverting the Burrows-Wheeler transform. - Richard S. Bird; Shin-Cheng Mu (J. Funct. Program., 2004)

Theory and applications of inverting functions as folds. - Shin-Cheng Mu; Richard S. Bird (Sci. Comput. Program., 2004)

Countdown: A case study in Origami programming. - Richard S. Bird; Shin-Cheng Mu (J. Funct. Program., 2005)

A Pushdown Machine for Recursive XML Processing. - Keisuke Nakano 001; Shin-Cheng Mu (APLAS, 2006)

Bidirectionalizing Tree Transformation Languages: A Case Study. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (Inf. Media Technol., 2007)

Algebra of Programming Using Dependent Types. - Shin-Cheng Mu; Hsiang-Shang Ko; Patrik Jansson (MPC, 2008)

Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. - Shin-Cheng Mu (PEPM, 2008)

XML Stream Processing Using a Lazy Concurrent Language. - Shin-Cheng Mu; Ta-Chung Tsai; Keisuke Nakano 001 (PLAN-X, 2008)

A programmable editor for developing structured documents based on bidirectional transformations. - Zhenjiang Hu; Shin-Cheng Mu; Masato Takeichi (High. Order Symb. Comput., 2008)

Algebra of programming in Agda: Dependent types for relational program derivation. - Shin-Cheng Mu; Hsiang-Shang Ko; Patrik Jansson (J. Funct. Program., 2009)

A Grammar-Based Approach to Invertible Programs. - Kazutaka Matsuda; Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (ESOP, 2010)

Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. - Shin-Cheng Mu; Yu-Han Lyu; Akimasa Morihata (ICFP-WGP, 2010)

Constructing List Homomorphisms from Proofs. - Yun-Yan Chi; Shin-Cheng Mu (APLAS, 2011)

Generalising and dualising the third list-homomorphism theorem: functional pearl. - Shin-Cheng Mu; Akimasa Morihata (ICFP, 2011)

Agda Implementors Meeting (NII Shonan Meeting 2011-2). - Peter Dybjer; Yoshiki Kinoshita; Shin-Cheng Mu (NII Shonan Meet. Rep., 2011)

Dependently Typed Programming (NII Shonan Meeting 2011-3). - Shin-Cheng Mu; Conor McBride; Stephanie Weirich (NII Shonan Meet. Rep., 2011)

Programming from Galois connections. - Shin-Cheng Mu; José Nuno Oliveira (J. Log. Algebraic Methods Program., 2012)

Functional Pearl: Nearest Shelters in Manhattan. - Shin-Cheng Mu; Ting-Wei Chen (APLAS, 2014)

Selected and extended papers from Partial Evaluation and Program Manipulation 2013. - Elvira Albert; Shin-Cheng Mu (Sci. Comput. Program., 2014)

Modular reifiable matching: a list-of-functors approach to two-level types. - Bruno C. d. S. Oliveira; Shin-Cheng Mu; Shu-Hung You (Haskell, 2015)

Calculating a linear-time solution to the densest-segment problem. - Sharon A. Curtis; Shin-Cheng Mu (J. Funct. Program., 2015)

Approximate by thinning: Deriving fully polynomial-time approximation schemes. - Shin-Cheng Mu; Yu-Han Lyu; Akimasa Morihata (Sci. Comput. Program., 2015)

Queueing and glueing for optimal partitioning (functional pearl). - Shin-Cheng Mu; Yu-Hsi Chiang; Yu-Han Lyu (ICFP, 2016)

Formal derivation of Greedy algorithms from relational specifications: A tutorial. - Yu-Hsi Chiang; Shin-Cheng Mu (J. Log. Algebraic Methods Program., 2016)

An Executable Sequential Specification for Spark Aggregation. - Yu-Fang Chen 001; Chih-Duo Hong; Ondrej Lengál; Shin-Cheng Mu; Nishant Sinha 001; Bow-Yaw Wang (NETYS, 2017)

Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell. - Ting-Yan Lai; Tyng-Ruey Chuang; Shin-Cheng Mu (CoRR, 2017)

Functional Pearl: Folding Polynomials of Polynomials. - Chen-Mou Cheng; Ruey-Lin Hsu; Shin-Cheng Mu (FLOPS, 2018)

Handling Local State with Global State. - Koen Pauwels; Tom Schrijvers; Shin-Cheng Mu (MPC, 2019)

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

Equational reasoning for non-determinism monad: the case of Spark aggregation. - Shin-Cheng Mu (CoRR, 2021)

Calculating a backtracking algorithm: an exercise in monadic program derivation. - Shin-Cheng Mu (CoRR, 2021)

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

A greedy algorithm for dropping digits (Functional Pearl). - Richard S. Bird; Shin-Cheng Mu (CoRR, 2021)

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

A greedy algorithm for dropping digits. - Richard S. Bird; Shin-Cheng Mu (J. Funct. Program., 2021)

Not by equations alone: Reasoning with extensible effects. - Oleg Kiselyov; Shin-Cheng Mu; Amr Sabry (J. Funct. Program., 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)

Bottom-up computation using trees of sublists (Functional Pearl). - Shin-Cheng Mu (CoRR, 2023)

Bottom-up computation using trees of sublists. - Shin-Cheng Mu (J. Funct. Program., 2024)

Binomial Tabulation: A Short Story. - Hsiang-Shang Ko; Shin-Cheng Mu; Jeremy Gibbons (CoRR, 2025)