# Shin-Cheng Mu

According to our database

Collaborative distances:

^{1}, Shin-Cheng Mu authored at least 37 papers between 2000 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Functional Pearl: Folding Polynomials of Polynomials.

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.

CoRR, 2017

An Executable Sequential Specification for Spark Aggregation.

CoRR, 2017

An Executable Sequential Specification for Spark Aggregation.

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

2016

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

J. Log. Algebr. Meth. Program., 2016

Queueing and glueing for optimal partitioning (functional pearl).

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

2015

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

Sci. Comput. Program., 2015

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

J. Funct. Program., 2015

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

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

2014

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

Sci. Comput. Program., 2014

Functional Pearl: Nearest Shelters in Manhattan.

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

2012

Programming from Galois connections.

J. Log. Algebr. Program., 2012

2011

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

NII Shonan Meet. Rep., 2011

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

NII Shonan Meet. Rep., 2011

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

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

Constructing List Homomorphisms from Proofs.

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

Programming from Galois Connections.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

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

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

A Grammar-Based Approach to Invertible Programs.

Proceedings of the Programming Languages and Systems, 2010

2009

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

J. Funct. Program., 2009

2008

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

Higher-Order and Symbolic Computation, 2008

XML Stream Processing Using a Lazy Concurrent Language.

Proceedings of the PLAN-X 2008, 2008

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

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

Algebra of Programming Using Dependent Types.

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

2006

A Pushdown Machine for Recursive XML Processing.

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

2005

Countdown: A case study in Origami programming.

J. Funct. Program., 2005

2004

Theory and applications of inverting functions as folds.

Sci. Comput. Program., 2004

Inverting the Burrows-Wheeler transform.

J. Funct. Program., 2004

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

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Injective Language for Reversible Computation.

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

An Algebraic Approach to Bi-directional Updating.

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

2003

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

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

2002

Inverting Functions as Folds.

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

2001

Functional Quantum Programming.

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

2000

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

Proceedings of the Practical Aspects of Declarative Languages, 2000

On Building Trees with Minimum Height, Relationally.

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

Algebraic Methods for Optimization Problems.

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