Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Shin-Cheng Mu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Richard S. Bird

> Home > Persons > Shin-Cheng Mu

Publications

2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BirdM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BirdM21
Richard S. Bird, Shin-Cheng Mu:
A greedy algorithm for dropping digits. J. Funct. Program. 31: e29 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-09700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-09700
Richard S. Bird, Shin-Cheng Mu:
A greedy algorithm for dropping digits (Functional Pearl). CoRR abs/2101.09700 (2021)
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BirdM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BirdM05
Richard S. Bird, Shin-Cheng Mu:
Countdown: A case study in Origami programming. J. Funct. Program. 15(5): 679-702 (2005)
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BirdM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BirdM04
Richard S. Bird, Shin-Cheng Mu:
Inverting the Burrows-Wheeler transform. J. Funct. Program. 14(6): 603-612 (2004)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MuB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MuB04
Shin-Cheng Mu, Richard S. Bird:
Theory and applications of inverting functions as folds. Sci. Comput. Program. 51(1-2): 87-116 (2004)
2003
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MuB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MuB03
Shin-Cheng Mu, Richard S. Bird:
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS 2003: 265-282
2002
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MuB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MuB02
Shin-Cheng Mu, Richard S. Bird:
Inverting Functions as Folds. MPC 2002: 209-232
2001
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/aplas/MuB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MuB01
Shin-Cheng Mu, Richard S. Bird:
Functional Quantum Programming. APLAS 2001: 75-88
2000
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/acmmpc/BirdGM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmmpc/BirdGM00
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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.