![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Shin-Cheng Mu
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i10]Shin-Cheng Mu:
Bottom-up computation using trees of sublists (Functional Pearl). CoRR abs/2311.18528 (2023) - 2021
- [j14]Oleg Kiselyov
, Shin-Cheng Mu
, Amr Sabry
:
Not by equations alone: Reasoning with extensible effects. J. Funct. Program. 31: e2 (2021) - [j13]Richard S. Bird
, Shin-Cheng Mu
:
A greedy algorithm for dropping digits. J. Funct. Program. 31: e29 (2021) - [j12]Shin-Cheng Mu
, Tsung-Ju Chiang:
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. J. Funct. Program. 31: e31 (2021) - [i9]Shin-Cheng Mu:
Equational reasoning for non-determinism monad: the case of Spark aggregation. CoRR abs/2101.09408 (2021) - [i8]Shin-Cheng Mu:
Calculating a backtracking algorithm: an exercise in monadic program derivation. CoRR abs/2101.09409 (2021) - [i7]Shin-Cheng Mu, Tsung-Ju Chiang:
Longest segment of balanced parentheses - an exercise in program inversion in a segment problem (Functional Pearl). CoRR abs/2101.09699 (2021) - [i6]Richard S. Bird, Shin-Cheng Mu:
A greedy algorithm for dropping digits (Functional Pearl). CoRR abs/2101.09700 (2021) - [i5]Shin-Cheng Mu, Tsung-Ju Chiang:
Deriving monadic quicksort (Declarative Pearl). CoRR abs/2101.11421 (2021) - 2020
- [c25]Shin-Cheng Mu
, Tsung-Ju Chiang:
Declarative Pearl: Deriving Monadic Quicksort. FLOPS 2020: 124-138
2010 – 2019
- 2019
- [c24]Koen Pauwels, Tom Schrijvers
, Shin-Cheng Mu
:
Handling Local State with Global State. MPC 2019: 18-44 - 2018
- [c23]Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu
:
Functional Pearl: Folding Polynomials of Polynomials. FLOPS 2018: 68-83 - 2017
- [c22]Yu-Fang Chen, Chih-Duo Hong
, Ondrej Lengál
, Shin-Cheng Mu
, Nishant Sinha, Bow-Yaw Wang:
An Executable Sequential Specification for Spark Aggregation. NETYS 2017: 421-438 - [i4]Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang:
An Executable Sequential Specification for Spark Aggregation. CoRR abs/1702.02439 (2017) - [i3]Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu:
Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell. CoRR abs/1708.09158 (2017) - 2016
- [j11]Yu-Hsi Chiang, Shin-Cheng Mu
:
Formal derivation of Greedy algorithms from relational specifications: A tutorial. J. Log. Algebraic Methods Program. 85(5): 879-905 (2016) - [c21]Shin-Cheng Mu
, Yu-Hsi Chiang, Yu-Han Lyu:
Queueing and glueing for optimal partitioning (functional pearl). ICFP 2016: 158-167 - 2015
- [j10]Sharon A. Curtis, Shin-Cheng Mu
:
Calculating a linear-time solution to the densest-segment problem. J. Funct. Program. 25 (2015) - [j9]Shin-Cheng Mu
, Yu-Han Lyu
, Akimasa Morihata
:
Approximate by thinning: Deriving fully polynomial-time approximation schemes. Sci. Comput. Program. 98: 484-515 (2015) - [c20]Bruno C. d. S. Oliveira, Shin-Cheng Mu
, Shu-Hung You:
Modular reifiable matching: a list-of-functors approach to two-level types. Haskell 2015: 82-93 - 2014
- [j8]Elvira Albert, Shin-Cheng Mu
:
Selected and extended papers from Partial Evaluation and Program Manipulation 2013. Sci. Comput. Program. 95: 147-148 (2014) - [c19]Shin-Cheng Mu, Ting-Wei Chen:
Functional Pearl: Nearest Shelters in Manhattan. APLAS 2014: 159-175 - 2013
- [e2]Elvira Albert, Shin-Cheng Mu:
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. ACM 2013, ISBN 978-1-4503-1842-6 [contents] - 2012
- [j7]Shin-Cheng Mu
, José Nuno Oliveira
:
Programming from Galois connections. J. Log. Algebraic Methods Program. 81(6): 680-704 (2012) - 2011
- [c18]Shin-Cheng Mu
, José Nuno Oliveira
:
Programming from Galois Connections. RAMiCS 2011: 294-313 - [c17]Yun-Yan Chi, Shin-Cheng Mu
:
Constructing List Homomorphisms from Proofs. APLAS 2011: 74-88 - [c16]Shin-Cheng Mu
, Akimasa Morihata
:
Generalising and dualising the third list-homomorphism theorem: functional pearl. ICFP 2011: 385-391 - [e1]Jaakko Järvi, Shin-Cheng Mu:
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011. ACM 2011, ISBN 978-1-4503-0861-8 [contents] - [i2]Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu:
Agda Implementors Meeting (NII Shonan Meeting 2011-2). NII Shonan Meet. Rep. 2011 (2011) - [i1]Shin-Cheng Mu, Conor McBride, Stephanie Weirich:
Dependently Typed Programming (NII Shonan Meeting 2011-3). NII Shonan Meet. Rep. 2011 (2011) - 2010
- [c15]Kazutaka Matsuda, Shin-Cheng Mu
, Zhenjiang Hu, Masato Takeichi:
A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467 - [c14]Shin-Cheng Mu
, Yu-Han Lyu, Akimasa Morihata
:
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ICFP-WGP 2010: 97-108
2000 – 2009
- 2009
- [j6]Shin-Cheng Mu
, Hsiang-Shang Ko
, Patrik Jansson
:
Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19(5): 545-579 (2009) - 2008
- [j5]Zhenjiang Hu, Shin-Cheng Mu
, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21(1-2): 89-118 (2008) - [c13]Shin-Cheng Mu
, Hsiang-Shang Ko
, Patrik Jansson
:
Algebra of Programming Using Dependent Types. MPC 2008: 268-283 - [c12]Shin-Cheng Mu
:
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. PEPM 2008: 31-39 - [c11]Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano:
XML Stream Processing Using a Lazy Concurrent Language. PLAN-X 2008 - 2007
- [j4]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. 2(2): 420-432 (2007) - 2006
- [c10]Keisuke Nakano
, Shin-Cheng Mu
:
A Pushdown Machine for Recursive XML Processing. APLAS 2006: 340-356 - 2005
- [j3]Richard S. Bird, Shin-Cheng Mu
:
Countdown: A case study in Origami programming. J. Funct. Program. 15(5): 679-702 (2005) - 2004
- [j2]Richard S. Bird, Shin-Cheng Mu
:
Inverting the Burrows-Wheeler transform. J. Funct. Program. 14(6): 603-612 (2004) - [j1]Shin-Cheng Mu
, Richard S. Bird:
Theory and applications of inverting functions as folds. Sci. Comput. Program. 51(1-2): 87-116 (2004) - [c9]Shin-Cheng Mu
, Zhenjiang Hu, Masato Takeichi:
An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20 - [c8]Shin-Cheng Mu
, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation. MPC 2004: 289-313 - [c7]Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189 - 2003
- [b1]Shin-Cheng Mu:
A calculational approach to program inversion. University of Oxford, UK, 2003 - [c6]Shin-Cheng Mu, Richard S. Bird:
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. APLAS 2003: 265-282 - 2002
- [c5]Shin-Cheng Mu
, Richard S. Bird:
Inverting Functions as Folds. MPC 2002: 209-232 - 2001
- [c4]Shin-Cheng Mu, Richard S. Bird:
Functional Quantum Programming. APLAS 2001: 75-88 - 2000
- [c3]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 - [c2]Shin-Cheng Mu:
On Building Trees with Minimum Height, Relationally. APLAS 2000: 153-162 - [c1]Tyng-Ruey Chuang
, Shin-Cheng Mu
:
Out-of-Core Functional Programming with Type-Based Primitives. PADL 2000: 32-46
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-28 23:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint