`Travelled to:`

1 × Cyprus

1 × Italy

2 × Japan

2 × USA

`Collaborated with:`

∅ Z.Hu M.Takeichi A.Morihata T.Chuang B.C.d.S.Oliveira S.You K.Matsuda

`Talks about:`

base (3) function (2) approach (2) segment (2) program (2) type (2) list (2) two (2) transform (1) homomorph (1)

## Person: Shin-Cheng Mu

### DBLP: Mu:Shin=Cheng

### Facilitated 2 volumes:

### Contributed to:

### Wrote 8 papers:

- ICFP-2011-MuM #functional #morphism #theorem
- Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.
- ESOP-2010-MatsudaMHT #approach #grammarware #source code
- A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.
- BX-2008-Mu
- Languages and Applications Short Talk 1 (SCM), p. 8.
- BX-2008-Mu1
- Inverse Computation for UnCAL (SCM), p. 44.
- PEPM-2008-Mu #algorithm #bound #problem
- Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths (SCM), pp. 31–39.
- PEPM-2004-HuMT #bidirectional #documentation #editing #programmable
- A programmable editor for developing structured documents based on bidirectional transformations (ZH, SCM, MT), pp. 178–189.
- PADL-2000-ChuangM #functional #programming #type system
- Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.
- Haskell-2015-OliveiraMY #approach #composition
- Modular reifiable matching: a list-of-functors approach to two-level types (BCdSO, SCM, SHY), pp. 82–93.