Shin-Cheng Mu

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2021
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem.
J. Funct. Program., 2021

Not by equations alone: Reasoning with extensible effects.
J. Funct. Program., 2021

A greedy algorithm for dropping digits.
J. Funct. Program., 2021

Deriving monadic quicksort (Declarative Pearl).
CoRR, 2021

A greedy algorithm for dropping digits (Functional Pearl).
CoRR, 2021

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

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

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

2020
Declarative Pearl: Deriving Monadic Quicksort.
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019
Handling Local State with Global State.
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

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.
Proceedings of the Networked Systems - 5th International Conference, 2017

2016
Formal derivation of Greedy algorithms from relational specifications: A tutorial.
J. Log. Algebraic Methods 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. Algebraic Methods 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

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.
High. Order Symb. Comput., 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

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
A calculational approach to program inversion.
PhD thesis, 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...