Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Projects
Explore by
Organizations
Researchers
Research Outputs
Projects
Academic & Publications
Help
Sign in
中文
English
Scholars Hub of the Academia Sinica
Research Outputs
Browsing by Author
Shin-Cheng Mu
or enter first few letters:
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Sort by:
Ascending
Descending
Results/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Records:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 11 of 11
Issue Date
Title
Author(s)
Relation
scopus
WOS
Fulltext/Archive link
2017
An Executable Sequential Specification for Spark Aggregation
Yu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang
2015
Approximate by Thinning: Deriving Fully Polynomial-Time Approximation Schemes
Shin-Cheng Mu; Yu-Han Lyu; Akimasa Morihata
Science of Computer Programming 98(Part 4), 484-515
2019
Calculating a backtracking algorithm: an exercise in monadic program derivation
Shin-Cheng Mu
TR-IIS-19-003
2015
Calculating a linear-time solution to the densest-segment problem
Sharon Curtis; Shin-Cheng Mu
Journal of Functional Programming 25, e22 (32 pages)
2019
Equational reasoning for non-determinism monad: the case of Spark aggregation
Shin-Cheng Mu
TR-IIS-19-002
2016
Formal derivation of greedy algorithms from relational specifications: a tutorial
Yu-Hsi Chiang; Shin-Cheng Mu
Journal of Logic and Algebraic Programming 85(5, part2), 879–905
2014
Functional pearl: Nearest shelters in Manhattan
Shin-Cheng Mu; Ting-Wei Chen
2015
Modular reifiable matching: a list-of-functors approach to two-level types
Bruno C. d. S. Oliveira; Shin-Cheng Mu; Shu-Hung You
2010
Programming from Galois Connections - Principles and Applications
Shin-Cheng Mu; José Nuno Oliveira
TR-IIS-10-009
2016
Queueing and glueing for optimal partitioning
Shin-Cheng Mu; Yu-Hsi Chiang; Yu-Han Lyu
2017
Type safe Redis queries -- a case study of type-level programming in Haskell
Ting-Yan Lai; Tyng-Ruey Chuang; Shin-Cheng Mu