Browsing by Author Shin-Cheng Mu

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

Showing results 1 to 11 of 11