Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shin-Cheng Mu
@article{DBLP:journals/corr/abs-2311-18528,
author = {Shin{-}Cheng Mu},
title = {Bottom-up computation using trees of sublists (Functional Pearl)},
journal = {CoRR},
volume = {abs/2311.18528},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.18528},
doi = {10.48550/ARXIV.2311.18528},
eprinttype = {arXiv},
eprint = {2311.18528},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-18528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KiselyovMS21,
author = {Oleg Kiselyov and
Shin{-}Cheng Mu and
Amr Sabry},
title = {Not by equations alone: Reasoning with extensible effects},
journal = {J. Funct. Program.},
volume = {31},
pages = {e2},
year = {2021},
url = {https://doi.org/10.1017/S0956796820000271},
doi = {10.1017/S0956796820000271},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/KiselyovMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdM21,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {A greedy algorithm for dropping digits},
journal = {J. Funct. Program.},
volume = {31},
pages = {e29},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000198},
doi = {10.1017/S0956796821000198},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BirdM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MuC21,
author = {Shin{-}Cheng Mu and
Tsung{-}Ju Chiang},
title = {Longest segment of balanced parentheses: an exercise in program inversion
in a segment problem},
journal = {J. Funct. Program.},
volume = {31},
pages = {e31},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000253},
doi = {10.1017/S0956796821000253},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/MuC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09408,
author = {Shin{-}Cheng Mu},
title = {Equational reasoning for non-determinism monad: the case of Spark
aggregation},
journal = {CoRR},
volume = {abs/2101.09408},
year = {2021},
url = {https://arxiv.org/abs/2101.09408},
eprinttype = {arXiv},
eprint = {2101.09408},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09409,
author = {Shin{-}Cheng Mu},
title = {Calculating a backtracking algorithm: an exercise in monadic program
derivation},
journal = {CoRR},
volume = {abs/2101.09409},
year = {2021},
url = {https://arxiv.org/abs/2101.09409},
eprinttype = {arXiv},
eprint = {2101.09409},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09699,
author = {Shin{-}Cheng Mu and
Tsung{-}Ju Chiang},
title = {Longest segment of balanced parentheses - an exercise in program inversion
in a segment problem (Functional Pearl)},
journal = {CoRR},
volume = {abs/2101.09699},
year = {2021},
url = {https://arxiv.org/abs/2101.09699},
eprinttype = {arXiv},
eprint = {2101.09699},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09700,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {A greedy algorithm for dropping digits (Functional Pearl)},
journal = {CoRR},
volume = {abs/2101.09700},
year = {2021},
url = {https://arxiv.org/abs/2101.09700},
eprinttype = {arXiv},
eprint = {2101.09700},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-11421,
author = {Shin{-}Cheng Mu and
Tsung{-}Ju Chiang},
title = {Deriving monadic quicksort (Declarative Pearl)},
journal = {CoRR},
volume = {abs/2101.11421},
year = {2021},
url = {https://arxiv.org/abs/2101.11421},
eprinttype = {arXiv},
eprint = {2101.11421},
timestamp = {Sun, 31 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-11421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MuC20,
author = {Shin{-}Cheng Mu and
Tsung{-}Ju Chiang},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Declarative Pearl: Deriving Monadic Quicksort},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {124--138},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_8},
doi = {10.1007/978-3-030-59025-3\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MuC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PauwelsSM19,
author = {Koen Pauwels and
Tom Schrijvers and
Shin{-}Cheng Mu},
editor = {Graham Hutton},
title = {Handling Local State with Global State},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {18--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_2},
doi = {10.1007/978-3-030-33636-3\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/PauwelsSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChengHM18,
author = {Chen{-}Mou Cheng and
Ruey{-}Lin Hsu and
Shin{-}Cheng Mu},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Functional Pearl: Folding Polynomials of Polynomials},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {68--83},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_5},
doi = {10.1007/978-3-319-90686-7\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/ChengHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChenHLMSW17,
author = {Yu{-}Fang Chen and
Chih{-}Duo Hong and
Ondrej Leng{\'{a}}l and
Shin{-}Cheng Mu and
Nishant Sinha and
Bow{-}Yaw Wang},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {An Executable Sequential Specification for Spark Aggregation},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {421--438},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_31},
doi = {10.1007/978-3-319-59647-1\_31},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ChenHLMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenHLMSW17,
author = {Yu{-}Fang Chen and
Chih{-}Duo Hong and
Ondrej Leng{\'{a}}l and
Shin{-}Cheng Mu and
Nishant Sinha and
Bow{-}Yaw Wang},
title = {An Executable Sequential Specification for Spark Aggregation},
journal = {CoRR},
volume = {abs/1702.02439},
year = {2017},
url = {http://arxiv.org/abs/1702.02439},
eprinttype = {arXiv},
eprint = {1702.02439},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChenHLMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-09158,
author = {Ting{-}Yan Lai and
Tyng{-}Ruey Chuang and
Shin{-}Cheng Mu},
title = {Type Safe Redis Queries: {A} Case Study of Type-Level Programming
in Haskell},
journal = {CoRR},
volume = {abs/1708.09158},
year = {2017},
url = {http://arxiv.org/abs/1708.09158},
eprinttype = {arXiv},
eprint = {1708.09158},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-09158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChiangM16,
author = {Yu{-}Hsi Chiang and
Shin{-}Cheng Mu},
title = {Formal derivation of Greedy algorithms from relational specifications:
{A} tutorial},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {879--905},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.003},
doi = {10.1016/J.JLAMP.2015.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChiangM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MuCL16,
author = {Shin{-}Cheng Mu and
Yu{-}Hsi Chiang and
Yu{-}Han Lyu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Queueing and glueing for optimal partitioning (functional pearl)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {158--167},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951923},
doi = {10.1145/2951913.2951923},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MuCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CurtisM15,
author = {Sharon A. Curtis and
Shin{-}Cheng Mu},
title = {Calculating a linear-time solution to the densest-segment problem},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S095679681500026X},
doi = {10.1017/S095679681500026X},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/CurtisM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MuLM15,
author = {Shin{-}Cheng Mu and
Yu{-}Han Lyu and
Akimasa Morihata},
title = {Approximate by thinning: Deriving fully polynomial-time approximation
schemes},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {484--515},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.07.001},
doi = {10.1016/J.SCICO.2014.07.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MuLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/OliveiraMY15,
author = {Bruno C. d. S. Oliveira and
Shin{-}Cheng Mu and
Shu{-}Hung You},
editor = {Ben Lippmeier},
title = {Modular reifiable matching: a list-of-functors approach to two-level
types},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2015, Vancouver, BC, Canada, September 3-4, 2015},
pages = {82--93},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804302.2804315},
doi = {10.1145/2804302.2804315},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/haskell/OliveiraMY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertM14,
author = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Selected and extended papers from Partial Evaluation and Program Manipulation
2013},
journal = {Sci. Comput. Program.},
volume = {95},
pages = {147--148},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.06.014},
doi = {10.1016/J.SCICO.2014.06.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuC14,
author = {Shin{-}Cheng Mu and
Ting{-}Wei Chen},
editor = {Jacques Garrigue},
title = {Functional Pearl: Nearest Shelters in Manhattan},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {159--175},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_9},
doi = {10.1007/978-3-319-12736-1\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MuC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2013,
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2426890},
isbn = {978-1-4503-1842-6},
timestamp = {Fri, 18 Jan 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MuO12,
author = {Shin{-}Cheng Mu and
Jos{\'{e}} Nuno Oliveira},
title = {Programming from Galois connections},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {6},
pages = {680--704},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.05.003},
doi = {10.1016/J.JLAP.2012.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MuO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MuO11,
author = {Shin{-}Cheng Mu and
Jos{\'{e}} Nuno Oliveira},
editor = {Harrie C. M. de Swart},
title = {Programming from Galois Connections},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {294--313},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_22},
doi = {10.1007/978-3-642-21070-9\_22},
timestamp = {Wed, 15 Dec 2021 11:04:20 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MuO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChiM11,
author = {Yun{-}Yan Chi and
Shin{-}Cheng Mu},
editor = {Hongseok Yang},
title = {Constructing List Homomorphisms from Proofs},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {74--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_9},
doi = {10.1007/978-3-642-25318-8\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ChiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MuM11,
author = {Shin{-}Cheng Mu and
Akimasa Morihata},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Generalising and dualising the third list-homomorphism theorem: functional
pearl},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {385--391},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034824},
doi = {10.1145/2034773.2034824},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MuM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011wgp,
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918},
doi = {10.1145/2036918},
isbn = {978-1-4503-0861-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2011wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DybjerKM11,
author = {Peter Dybjer and
Yoshiki Kinoshita and
Shin{-}Cheng Mu},
title = {Agda Implementors Meeting {(NII} Shonan Meeting 2011-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/008/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DybjerKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MuMW11,
author = {Shin{-}Cheng Mu and
Conor McBride and
Stephanie Weirich},
title = {Dependently Typed Programming {(NII} Shonan Meeting 2011-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/007/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MuMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MatsudaMHT10,
author = {Kazutaka Matsuda and
Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Andrew D. Gordon},
title = {A Grammar-Based Approach to Invertible Programs},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {448--467},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_24},
doi = {10.1007/978-3-642-11957-6\_24},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/MatsudaMHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MuLM10,
author = {Shin{-}Cheng Mu and
Yu{-}Han Lyu and
Akimasa Morihata},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Constructing datatype-generic fully polynomial-time approximation
schemes using generalised thinning},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {97--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863508},
doi = {10.1145/1863495.1863508},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MuLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MuKJ09,
author = {Shin{-}Cheng Mu and
Hsiang{-}Shang Ko and
Patrik Jansson},
title = {Algebra of programming in Agda: Dependent types for relational program
derivation},
journal = {J. Funct. Program.},
volume = {19},
number = {5},
pages = {545--579},
year = {2009},
url = {https://doi.org/10.1017/S0956796809007345},
doi = {10.1017/S0956796809007345},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MuKJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HuMT08,
author = {Zhenjiang Hu and
Shin{-}Cheng Mu and
Masato Takeichi},
title = {A programmable editor for developing structured documents based on
bidirectional transformations},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {89--118},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9025-5},
doi = {10.1007/S10990-008-9025-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HuMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuKJ08,
author = {Shin{-}Cheng Mu and
Hsiang{-}Shang Ko and
Patrik Jansson},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Algebra of Programming Using Dependent Types},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {268--283},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_15},
doi = {10.1007/978-3-540-70594-9\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuKJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Mu08,
author = {Shin{-}Cheng Mu},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Maximum segment sum is back: deriving algorithms for two segment problems
with bounded lengths},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {31--39},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328414},
doi = {10.1145/1328408.1328414},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Mu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/MuTN08,
author = {Shin{-}Cheng Mu and
Ta{-}Chung Tsai and
Keisuke Nakano},
title = {{XML} Stream Processing Using a Lazy Concurrent Language},
booktitle = {{PLAN-X} 2008, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2008, San Francisco, California,
USA, January 9, 2008},
year = {2008},
url = {http://gemo.futurs.inria.fr/events/PLANX2008/papers/p10.pdf},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/planX/MuTN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NakanoM06,
author = {Keisuke Nakano and
Shin{-}Cheng Mu},
editor = {Naoki Kobayashi},
title = {A Pushdown Machine for Recursive {XML} Processing},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {340--356},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_21},
doi = {10.1007/11924661\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/NakanoM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdM05,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {Countdown: {A} case study in Origami programming},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {679--702},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005642},
doi = {10.1017/S0956796805005642},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BirdM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdM04,
author = {Richard S. Bird and
Shin{-}Cheng Mu},
title = {Inverting the Burrows-Wheeler transform},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {603--612},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005118},
doi = {10.1017/S0956796804005118},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BirdM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MuB04,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
title = {Theory and applications of inverting functions as folds},
journal = {Sci. Comput. Program.},
volume = {51},
number = {1-2},
pages = {87--116},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2003.09.003},
doi = {10.1016/J.SCICO.2003.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MuB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuHT04,
author = {Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Wei{-}Ngan Chin},
title = {An Algebraic Approach to Bi-directional Updating},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {2--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_2},
doi = {10.1007/978-3-540-30477-7\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MuHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuHT04,
author = {Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Dexter Kozen and
Carron Shankland},
title = {An Injective Language for Reversible Computation},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {289--313},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_16},
doi = {10.1007/978-3-540-27764-4\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HuMT04,
author = {Zhenjiang Hu and
Shin{-}Cheng Mu and
Masato Takeichi},
editor = {Nevin Heintze and
Peter Sestoft},
title = {A programmable editor for developing structured documents based on
bidirectional transformations},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {178--189},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014025},
doi = {10.1145/1014007.1014025},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HuMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Mu03,
author = {Shin{-}Cheng Mu},
title = {A calculational approach to program inversion},
school = {University of Oxford, {UK}},
year = {2003},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275405},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Mu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuB03,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
editor = {Atsushi Ohori},
title = {Rebuilding a Tree from Its Traversals: {A} Case Study of Program Inversion},
booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
pages = {265--282},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40018-9\_18},
doi = {10.1007/978-3-540-40018-9\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MuB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuB02,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Inverting Functions as Folds},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {209--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_13},
doi = {10.1007/3-540-45442-X\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MuB01,
author = {Shin{-}Cheng Mu and
Richard S. Bird},
title = {Functional Quantum Programming},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {75--88},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/MuB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmmpc/BirdGM00,
author = {Richard S. Bird and
Jeremy Gibbons and
Shin{-}Cheng Mu},
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Algebraic Methods for Optimization Problems},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction,
International Summer School and Workshop, Oxford, UK, April 10-14,
2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2297},
pages = {281--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-47797-7\_8},
doi = {10.1007/3-540-47797-7\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acmmpc/BirdGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Mu00,
author = {Shin{-}Cheng Mu},
title = {On Building Trees with Minimum Height, Relationally},
booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
2000, National University of Singapore, Singapore, December 18-20,
2000, Proceedings},
pages = {153--162},
year = {2000},
timestamp = {Tue, 01 Jun 2004 14:41:27 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Mu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChuangM00,
author = {Tyng{-}Ruey Chuang and
Shin{-}Cheng Mu},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Out-of-Core Functional Programming with Type-Based Primitives},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {32--46},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_3},
doi = {10.1007/3-540-46584-7\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChuangM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-03-24 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
