BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mu:Shin=Cheng

Facilitated 2 volumes:

PEPM 2013Ed
PEPM 2013Ed

Contributed to:

ICFP 20112011
ESOP 20102010
BX 20082008
PEPM 20082008
PEPM 20042004
PADL 20002000
Haskell 20152015

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.