According to our database1, Shin-Cheng Mu authored at least 33 papers between 2000 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Functional Pearl: Folding Polynomials of Polynomials.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018
An Executable Sequential Specification for Spark Aggregation.
Proceedings of the Networked Systems - 5th International Conference, 2017
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
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
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
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
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
Algebra of programming in Agda: Dependent types for relational program derivation.
J. Funct. Program., 2009
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
A Pushdown Machine for Recursive XML Processing.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006
Countdown: A case study in Origami programming.
J. Funct. Program., 2005
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
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003
Inverting Functions as Folds.
Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002
Functional Quantum Programming.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
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