Shin-Cheng Mu

According to our database, Shin-Cheng Mu authored at least 47 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bottom-up computation using trees of sublists (Functional Pearl).

Shin-Cheng Mu

CoRR, 2023

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

Not by equations alone: Reasoning with extensible effects.

Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry

J. Funct. Program., 2021

A greedy algorithm for dropping digits.

Richard S. Bird, Shin-Cheng Mu

J. Funct. Program., 2021

Deriving monadic quicksort (Declarative 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

Longest segment of balanced parentheses - an exercise in program inversion in a segment problem (Functional Pearl).

Shin-Cheng Mu, Tsung-Ju Chiang

CoRR, 2021

Calculating a backtracking algorithm: an exercise in monadic program derivation.

Shin-Cheng Mu

CoRR, 2021

Equational reasoning for non-determinism monad: the case of Spark aggregation.

Shin-Cheng Mu

CoRR, 2021

2020

Declarative Pearl: Deriving Monadic Quicksort.

Shin-Cheng Mu, Tsung-Ju Chiang

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Handling Local State with Global State.

Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Functional Pearl: Folding Polynomials of Polynomials.

Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

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

An Executable Sequential Specification for Spark Aggregation.

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Networked Systems - 5th International Conference, 2017

2016

Formal derivation of Greedy algorithms from relational specifications: A tutorial.

Yu-Hsi Chiang, Shin-Cheng Mu

J. Log. Algebraic Methods Program., 2016

Queueing and glueing for optimal partitioning (functional pearl).

Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Approximate by thinning: Deriving fully polynomial-time approximation schemes.

Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata

Sci. Comput. Program., 2015

Calculating a linear-time solution to the densest-segment problem.

Sharon A. Curtis, Shin-Cheng Mu

J. Funct. Program., 2015

Modular reifiable matching: a list-of-functors approach to two-level types.

Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Selected and extended papers from Partial Evaluation and Program Manipulation 2013.

Elvira Albert, Shin-Cheng Mu

Sci. Comput. Program., 2014

Functional Pearl: Nearest Shelters in Manhattan.

Shin-Cheng Mu, Ting-Wei Chen

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2012

Programming from Galois connections.

Shin-Cheng Mu, José Nuno Oliveira

J. Log. Algebraic Methods Program., 2012

2011

Dependently Typed Programming (NII Shonan Meeting 2011-3).

Shin-Cheng Mu, Conor McBride, Stephanie Weirich

NII Shonan Meet. Rep., 2011

Agda Implementors Meeting (NII Shonan Meeting 2011-2).

Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu

NII Shonan Meet. Rep., 2011

Generalising and dualising the third list-homomorphism theorem: functional pearl.

Shin-Cheng Mu, Akimasa Morihata

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Constructing List Homomorphisms from Proofs.

Yun-Yan Chi, Shin-Cheng Mu

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning.

Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

A Grammar-Based Approach to Invertible Programs.

Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Proceedings of the Programming Languages and Systems, 2010

2009

Algebra of programming in Agda: Dependent types for relational program derivation.

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson

J. Funct. Program., 2009

2008

A programmable editor for developing structured documents based on bidirectional transformations.

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi

High. Order Symb. Comput., 2008

XML Stream Processing Using a Lazy Concurrent Language.

Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano

Proceedings of the PLAN-X 2008, 2008

Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths.

Shin-Cheng Mu

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Algebra of Programming Using Dependent Types.

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

2007

Bidirectionalizing Tree Transformation Languages: A Case Study.

Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Inf. Media Technol., 2007

2006

A Pushdown Machine for Recursive XML Processing.

Keisuke Nakano, Shin-Cheng Mu

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Countdown: A case study in Origami programming.

Richard S. Bird, Shin-Cheng Mu

J. Funct. Program., 2005

2004

Theory and applications of inverting functions as folds.

Shin-Cheng Mu, Richard S. Bird

Sci. Comput. Program., 2004

Inverting the Burrows-Wheeler transform.

Richard S. Bird, Shin-Cheng Mu

J. Funct. Program., 2004

An Injective Language for Reversible Computation.

Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

An Algebraic Approach to Bi-directional Updating.

Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

A calculational approach to program inversion.

Shin-Cheng Mu

PhD thesis, 2003

Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.

Shin-Cheng Mu, Richard S. Bird

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Inverting Functions as Folds.

Shin-Cheng Mu, Richard S. Bird

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

2001

Functional Quantum Programming.

Shin-Cheng Mu, Richard S. Bird

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Out-of-Core Functional Programming with Type-Based Primitives.

Tyng-Ruey Chuang, Shin-Cheng Mu

Proceedings of the Practical Aspects of Declarative Languages, 2000

On Building Trees with Minimum Height, Relationally.

Shin-Cheng Mu

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Algebraic Methods for Optimization Problems.

Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu

Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000