|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 6 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shin-Cheng Mu, José Nuno Oliveira |
Programming from Galois Connections.  |
RAMICS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Akimasa Morihata |
Generalising and dualising the third list-homomorphism theorem: functional pearl. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun-Yan Chi, Shin-Cheng Mu |
Constructing List Homomorphisms from Proofs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata |
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
A Grammar-Based Approach to Invertible Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson |
Algebra of programming in Agda: Dependent types for relational program derivation. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
A programmable editor for developing structured documents based on bidirectional transformations. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Bidirectional transformation, Functional programming, View updating, Document engineering, Structured editor |
| 1 | Shin-Cheng Mu |
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
maximum segment density, maximum segment sum, program derivation |
| 1 | Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson |
Algebra of Programming Using Dependent Types. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano |
XML Stream Processing Using a Lazy Concurrent Language. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Keisuke Nakano, Shin-Cheng Mu |
A Pushdown Machine for Recursive XML Processing. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Shin-Cheng Mu |
Countdown: A case study in Origami programming. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Richard S. Bird |
Theory and applications of inverting functions as folds. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Shin-Cheng Mu |
Inverting the Burrows-Wheeler transform. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
A programmable editor for developing structured documents based on bidirectional transformations. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
bidirectional transformation, functional programming, editor, view updating, document engineering |
| 1 | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
An Algebraic Approach to Bi-directional Updating. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
An Injective Language for Reversible Computation. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Richard S. Bird |
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Richard S. Bird |
Inverting Functions as Folds. |
MPC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Richard S. Bird |
Functional Quantum Programming. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tyng-Ruey Chuang, Shin-Cheng Mu |
Out-of-Core Functional Programming with Type-Based Primitives. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu |
On Building Trees with Minimum Height, Relationally. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu |
Algebraic Methods for Optimization Problems. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")