Shin-Cheng Mu

According to our database1, Shin-Cheng Mu authored at least 37 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...