default search action
Shin-Cheng Mu
Person information
Refine list
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
Not by equations alone: Reasoning with extensible effects. J. Funct. Program. 31: e2 (2021) - [j13]Richard S. Bird
A greedy algorithm for dropping digits. J. Funct. Program. 31: e29 (2021) - [j12]Shin-Cheng Mu
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
Declarative Pearl: Deriving Monadic Quicksort. FLOPS 2020: 124-138
2010 – 2019
- 2019
- [c24]Koen Pauwels, Tom Schrijvers
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
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
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
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
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
Programming from Galois connections. J. Log. Algebraic Methods Program. 81(6): 680-704 (2012) - 2011
- [c18]Shin-Cheng Mu
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
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
A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467 - [c14]Shin-Cheng Mu
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ICFP-WGP 2010: 97-108
2000 – 2009
- 2009
- [j6]Shin-Cheng Mu
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
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
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
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
Theory and applications of inverting functions as folds. Sci. Comput. Program. 51(1-2): 87-116 (2004) - [c9]Shin-Cheng Mu
An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20 - [c8]Shin-Cheng Mu
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
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
Out-of-Core Functional Programming with Type-Based Primitives. PADL 2000: 32-46
Coauthor Index
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-10-07 22:08 CEST 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: