|
Search the dblp DataBase
Shin-Cheng Mu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
Algebraic Methods for Optimization Problems. [Citation Graph (0, 0)][DBLP] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:281-308 [Conf]
- Shin-Cheng Mu
On Building Trees with Minimum Height, Relationally. [Citation Graph (0, 0)][DBLP] APLAS, 2000, pp:153-162 [Conf]
- Shin-Cheng Mu, Richard S. Bird
Functional Quantum Programming. [Citation Graph (0, 0)][DBLP] APLAS, 2001, pp:75-88 [Conf]
- Shin-Cheng Mu, Richard S. Bird
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. [Citation Graph (0, 0)][DBLP] APLAS, 2003, pp:265-282 [Conf]
- Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
An Algebraic Approach to Bi-directional Updating. [Citation Graph (0, 0)][DBLP] APLAS, 2004, pp:2-20 [Conf]
- Keisuke Nakano, Shin-Cheng Mu
A Pushdown Machine for Recursive XML Processing. [Citation Graph (0, 0)][DBLP] APLAS, 2006, pp:340-356 [Conf]
- Shin-Cheng Mu, Richard S. Bird
Inverting Functions as Folds. [Citation Graph (0, 0)][DBLP] MPC, 2002, pp:209-232 [Conf]
- Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
An Injective Language for Reversible Computation. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:289-313 [Conf]
- Tyng-Ruey Chuang, Shin-Cheng Mu
Out-of-Core Functional Programming with Type-Based Primitives. [Citation Graph (0, 0)][DBLP] PADL, 2000, pp:32-46 [Conf]
- Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
A programmable editor for developing structured documents based on bidirectional transformations. [Citation Graph (0, 0)][DBLP] PEPM, 2004, pp:178-189 [Conf]
- Richard S. Bird, Shin-Cheng Mu
Inverting the Burrows-Wheeler transform. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:6, pp:603-612 [Journal]
- Richard S. Bird, Shin-Cheng Mu
Countdown: A case study in Origami programming. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:5, pp:679-702 [Journal]
- Shin-Cheng Mu, Richard S. Bird
Theory and applications of inverting functions as folds. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2004, v:51, n:1-2, pp:87-116 [Journal]
A Grammar-Based Approach to Invertible Programs. [Citation Graph (, )][DBLP]
Algebra of Programming Using Dependent Types. [Citation Graph (, )][DBLP]
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. [Citation Graph (, )][DBLP]
XML Stream Processing Using a Lazy Concurrent Language. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|