| 2008 |
|---|
| 17 | EE | Shin-Cheng Mu,
Hsiang-Shang Ko,
Patrik Jansson:
Algebra of Programming Using Dependent Types.
MPC 2008: 268-283 |
| 16 | EE | Shin-Cheng Mu:
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths.
PEPM 2008: 31-39 |
| 15 | EE | Shin-Cheng Mu,
Ta-Chung Tsai,
Keisuke Nakano:
XML Stream Processing Using a Lazy Concurrent Language.
PLAN-X 2008 |
| 14 | EE | Zhenjiang Hu,
Shin-Cheng Mu,
Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations.
Higher-Order and Symbolic Computation 21(1-2): 89-118 (2008) |
| 2006 |
|---|
| 13 | EE | Keisuke Nakano,
Shin-Cheng Mu:
A Pushdown Machine for Recursive XML Processing.
APLAS 2006: 340-356 |
| 2005 |
|---|
| 12 | EE | Richard S. Bird,
Shin-Cheng Mu:
Countdown: A case study in Origami programming.
J. Funct. Program. 15(5): 679-702 (2005) |
| 2004 |
|---|
| 11 | EE | Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi:
An Algebraic Approach to Bi-directional Updating.
APLAS 2004: 2-20 |
| 10 | EE | Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi:
An Injective Language for Reversible Computation.
MPC 2004: 289-313 |
| 9 | EE | Zhenjiang Hu,
Shin-Cheng Mu,
Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations.
PEPM 2004: 178-189 |
| 8 | EE | Richard S. Bird,
Shin-Cheng Mu:
Inverting the Burrows-Wheeler transform.
J. Funct. Program. 14(6): 603-612 (2004) |
| 7 | EE | Shin-Cheng Mu,
Richard S. Bird:
Theory and applications of inverting functions as folds.
Sci. Comput. Program. 51(1-2): 87-116 (2004) |
| 2003 |
|---|
| 6 | EE | Shin-Cheng Mu,
Richard S. Bird:
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.
APLAS 2003: 265-282 |
| 2002 |
|---|
| 5 | EE | Shin-Cheng Mu,
Richard S. Bird:
Inverting Functions as Folds.
MPC 2002: 209-232 |
| 2001 |
|---|
| 4 | | Shin-Cheng Mu,
Richard S. Bird:
Functional Quantum Programming.
APLAS 2001: 75-88 |
| 2000 |
|---|
| 3 | | Shin-Cheng Mu:
On Building Trees with Minimum Height, Relationally.
APLAS 2000: 153-162 |
| 2 | EE | Richard S. Bird,
Jeremy Gibbons,
Shin-Cheng Mu:
Algebraic Methods for Optimization Problems.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 281-308 |
| 1 | EE | Tyng-Ruey Chuang,
Shin-Cheng Mu:
Out-of-Core Functional Programming with Type-Based Primitives.
PADL 2000: 32-46 |
