Shin-Cheng Mu

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 20

Top Venues

CoRR

J. Funct. Program.

Sci. Comput. Program.

FLOPS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

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

Shin-Cheng Mu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shin-Cheng Mu