Shin-Cheng Mu

55 papers A 3B 11C 6Misc 2Journal 27Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Folding the Heighway dragon curve.
CoRR
Ting-Wu Chang, Liang-Ting Chen, Shin-Cheng Mu
2025 J jnl
Binomial Tabulation: A Short Story.
CoRR
Hsiang-Shang Ko, Shin-Cheng Mu, Jeremy Gibbons
2024 J jnl
Bottom-up computation using trees of sublists.
J. Funct. Program.
Shin-Cheng Mu
2023 J jnl
Bottom-up computation using trees of sublists (Functional Pearl).
CoRR
Shin-Cheng Mu
2021 J jnl
A greedy algorithm for dropping digits (Functional Pearl).
CoRR
Richard S. Bird, Shin-Cheng Mu
2021 J jnl
A greedy algorithm for dropping digits.
J. Funct. Program.
Richard S. Bird, Shin-Cheng Mu
2021 J jnl
Calculating a backtracking algorithm: an exercise in monadic program derivation.
CoRR
Shin-Cheng Mu
2021 J jnl
Deriving monadic quicksort (Declarative Pearl).
CoRR
Shin-Cheng Mu, Tsung-Ju Chiang
2021 J jnl
Equational reasoning for non-determinism monad: the case of Spark aggregation.
CoRR
Shin-Cheng Mu
2021 J jnl
Longest segment of balanced parentheses - an exercise in program inversion in a segment problem (Functional Pearl).
CoRR
Shin-Cheng Mu, Tsung-Ju Chiang
2021 J jnl
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem.
J. Funct. Program.
Shin-Cheng Mu, Tsung-Ju Chiang
2021 J jnl
Not by equations alone: Reasoning with extensible effects.
J. Funct. Program.
Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry
2020 Misc conf
Declarative Pearl: Deriving Monadic Quicksort.
FLOPS
Shin-Cheng Mu, Tsung-Ju Chiang
2019 B conf
Handling Local State with Global State.
MPC
Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu
2018 Misc conf
Functional Pearl: Folding Polynomials of Polynomials.
FLOPS
Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu
2017 — conf
An Executable Sequential Specification for Spark Aggregation.
NETYS
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017 J jnl
An Executable Sequential Specification for Spark Aggregation.
CoRR
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017 J jnl
Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell.
CoRR
Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu
2016 J jnl
Formal derivation of Greedy algorithms from relational specifications: A tutorial.
J. Log. Algebraic Methods Program.
Yu-Hsi Chiang, Shin-Cheng Mu
2016 A conf
Queueing and glueing for optimal partitioning (functional pearl).
ICFP
Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu
2015 J jnl
Approximate by thinning: Deriving fully polynomial-time approximation schemes.
Sci. Comput. Program.
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
2015 J jnl
Calculating a linear-time solution to the densest-segment problem.
J. Funct. Program.
Sharon A. Curtis, Shin-Cheng Mu
2015 C conf
Modular reifiable matching: a list-of-functors approach to two-level types.
Haskell
Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You
2014 B conf
Functional Pearl: Nearest Shelters in Manhattan.
APLAS
Shin-Cheng Mu, Ting-Wei Chen
2014 J jnl
Selected and extended papers from Partial Evaluation and Program Manipulation 2013.
Sci. Comput. Program.
Elvira Albert, Shin-Cheng Mu
2013 C ed.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013
PEPM
Elvira Albert, Shin-Cheng Mu
2012 J jnl
Programming from Galois connections.
J. Log. Algebraic Methods Program.
Shin-Cheng Mu, José Nuno Oliveira
2011 J jnl
Agda Implementors Meeting (NII Shonan Meeting 2011-2).
NII Shonan Meet. Rep.
Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu
2011 B conf
Constructing List Homomorphisms from Proofs.
APLAS
Yun-Yan Chi, Shin-Cheng Mu
2011 J jnl
Dependently Typed Programming (NII Shonan Meeting 2011-3).
NII Shonan Meet. Rep.
Shin-Cheng Mu, Conor McBride, Stephanie Weirich
2011 A conf
Generalising and dualising the third list-homomorphism theorem: functional pearl.
ICFP
Shin-Cheng Mu, Akimasa Morihata
2011 — ed.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011
WGP@ICFP
Jaakko Järvi, Shin-Cheng Mu
2011 C conf
Programming from Galois Connections.
RAMiCS
Shin-Cheng Mu, José Nuno Oliveira
2010 A conf
A Grammar-Based Approach to Invertible Programs.
ESOP
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2010 — conf
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning.
ICFP-WGP
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
2009 J jnl
Algebra of programming in Agda: Dependent types for relational program derivation.
J. Funct. Program.
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
2008 J jnl
A programmable editor for developing structured documents based on bidirectional transformations.
High. Order Symb. Comput.
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
2008 B conf
Algebra of Programming Using Dependent Types.
MPC
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
2008 C conf
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths.
PEPM
Shin-Cheng Mu
2008 — conf
XML Stream Processing Using a Lazy Concurrent Language.
PLAN-X
Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano
2007 J jnl
Bidirectionalizing Tree Transformation Languages: A Case Study.
Inf. Media Technol.
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2006 B conf
A Pushdown Machine for Recursive XML Processing.
APLAS
Keisuke Nakano, Shin-Cheng Mu
2005 J jnl
Countdown: A case study in Origami programming.
J. Funct. Program.
Richard S. Bird, Shin-Cheng Mu
2004 C conf
A programmable editor for developing structured documents based on bidirectional transformations.
PEPM
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
2004 B conf
An Algebraic Approach to Bi-directional Updating.
APLAS
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2004 B conf
An Injective Language for Reversible Computation.
MPC
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2004 J jnl
Inverting the Burrows-Wheeler transform.
J. Funct. Program.
Richard S. Bird, Shin-Cheng Mu
2004 J jnl
Theory and applications of inverting functions as folds.
Sci. Comput. Program.
Shin-Cheng Mu, Richard S. Bird
2003 — —
A calculational approach to program inversion.
Shin-Cheng Mu
2003 B conf
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.
APLAS
Shin-Cheng Mu, Richard S. Bird
2002 B conf
Inverting Functions as Folds.
MPC
Shin-Cheng Mu, Richard S. Bird
2001 B conf
Functional Quantum Programming.
APLAS
Shin-Cheng Mu, Richard S. Bird
2000 — conf
Algebraic Methods for Optimization Problems.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
2000 B conf
On Building Trees with Minimum Height, Relationally.
APLAS
Shin-Cheng Mu
2000 C conf
Out-of-Core Functional Programming with Type-Based Primitives.
PADL
Tyng-Ruey Chuang, Shin-Cheng Mu