中文版
English
研究員  |  穆信成  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Publications
 
1. Richard Bird and Shin-Cheng Mu, "A greedy algorithm for dropping digits (Functional Pearl)," Journal of Functional Programming, volume 31, pages e29, November 2021.
2. Shin-Cheng Mu and Tsung-Ju Chiang, "Longest segment of balanced parentheses — an exercise in program inversion in a segment problem (Functional Pearl)," Journal of Functional Programming, volume 31, pages e31, November 2021.
3. Oleg Kiselyov, Shin-Cheng Mu and Amr Sabry, "Not by Equations Alone: Reasoning with Extensible Effects," Journal of Functional Programming, volume 31, pages e2, January 2021. :::icon
4. Shin-Cheng Mu and Tsung-Ju Chiang, "Declarative pearl: deriving monadic Quicksort," Functional and Logic Programming (FLOPS 2020), Keisuke Nakano and Konstantinos Sagonas, editor, pages 124-138, September 2020. :::icon
5. Koen Pauwels, Tom Schrijvers and Shin-Cheng Mu, "Handling local state with global state," Mathematics of Program Construction (MPC 2019), Graham Hutton, editor, Springer, pages 18-44, October 2019. :::icon
6. Shin-Cheng Mu, "Calculating a backtracking algorithm: an exercise in monadic program derivation," number TR-IIS-19-003, Institute of Information Science, Academia Sinica, 2019. :::icon
7. Shin-Cheng Mu, "Equational reasoning for non-determinism monad: the case of Spark aggregation," number TR-IIS-19-002, Institute of Information Science, Academia Sinica, 2019. :::icon
8. Chen-Mou Cheng, Ruey-Lin Hsu and Shin-Cheng Mu, "Functional pearl: folding polynomials of polynomials," Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science, 10818, John Gallagher and Martin Sulzmann, editors, pages 68-83, Springer, May 2018. :::icon
9. Ting-Yan Lai, Tyng-Ruey Chuang, and Shin-Cheng Mu, "Type safe Redis queries -- a case study of type-level programming in Haskell," 2nd Workshop on Type-Driven Development (TyDe 2017), September 2017.
10. Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál, Shin-Cheng Mu, Nishant Sinha, and Bow-Yaw Wang, "An executable sequential specification for Spark aggregation," International Conference on Networked Systems (NETYS), pages 421-438, May 2017.
11. Shin-Cheng Mu, Yu-Hsi Chiang, and Yu-Han Lyu, "Queueing and glueing for optimal partitioning," International Conference on Functional Programming (ICFP 2016), Eijiro Sumii, editor, ACM Press, pages 158-167, September 2016.
12. Yu-Hsi Chiang, Shin-Cheng Mu, "Formal derivation of greedy algorithms from relational specifications: a tutorial," Journal of Logic and Algebraic Programming, volume 85, number 5, Part 2, pages 879–905, August 2016.
13. Sharon Curtis, Shin-Cheng Mu, "Calculating a linear-time solution to the densest-segment problem," Journal of Functional Programming, volume 25, number 0, pages e22 (32 pages), December 2015.
14. Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You, "Modular reifiable matching: a list-of-functors approach to two-level types," Haskell Symposium 2015, Ben Lippmeier, editor, pages 82-93, September 2015.
15. Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata, "Approximate by Thinning: Deriving Fully Polynomial-Time Approximation Schemes," Science of Computer Programming, volume 98, number 4, pages 484–515, February 2015.
16. Shin-Cheng Mu, Ting-Wei Chen, "Functional pearl: Nearest shelters in Manhattan," Programming Languages and Systems, Lecture Notes in Computer Science, 8858, pages 159-175, November 2014.
17. Shin-Cheng Mu and José Nuno Oliveira, "Programming from Galois connections," Journal of Logic and Algebraic Programming, volume 81, number 6, pages 680–704, August 2012. :::icon
18. Yun-Yan Chi and Shin-Cheng Mu, "Constructing list homomorphisms from proofs," The 9th Asian Symposium on Programming Languages and Systems (APLAS 2011), December 2011.
19. Shin-Cheng Mu and Akimasa Morihata, "Generalising and Dualising the Third List-Homomorphism Theorem," International Conference on Functional Programming, pages 385--391, September 2011.
20. Shin-Cheng Mu and Jose Nuno Oliveira, "Programming from Galois Connections," 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Lecture Notes in Computer Science, May 2011. :::icon
21. Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata, "Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning," The 6th ACM SIGPLAN workshop on Generic programming (WGP 2010), Bruno C.d.S. Oliveira and Marcin Zalewski, editor, ACM, pages 97-108, September 2010. :::icon
22. Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi, "A grammar-based approach to invertible programs," 19th European Symposium on Programming (ESOP 2010), Lecture Notes in Computer Science, 6012, pages 448-467, March 2010. :::icon
23. S-C. Mu, H-S. Ko, and P. Jansson, "Algebra of programming in Agda: dependent types for relational program derivation," Journal of Functional Programming, volume 19, number 5, pages 545-579, September 2009. :::icon
24. S-C. Mu, H-S. Ko, and P. Jansson, "Algebra of programming using dependent types," Mathematics of Program Construction 2008, Lecture Notes in Computer Science, 5133, pages 268-283, July 2008. :::icon
25. Z. Hu, S-C. Mu and M. Takeichi, "A programmable editor for developing structured documents based on bidirectional transformations," Higher-Order and Symbolic Computation, volume 21, number 1-2, pages 89-118, May 2008.
26. S-C. Mu, "Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths," Partial Evaluation and Program Manipulation (PEPM '08), pages 31-39, January 2008. :::icon
27. S-C. Mu, T-C. Tsai, K. Nakano, "XML Stream Processing Using a Lazy Concurrent Language," Programming Language Techniques for XML (PLAN-X 2008), January 2008.
28. K. Nakano and S-C. Mu, "A pushdown machine for recursive XML processing," The 4th Asian Symposium on Programming Language and Systems, Lecture Notes in Computer Science, 4279, pages 340-356, 2006.
29. S-C. Mu, Z. Hu and M. Takeichi, "Bidirectionalizing tree transformation languages: a case study," JSSST Computer Software (コンピュータソフトウェア), volume 23, number 2, pages 129-141, 2006.
30. R. S. Bird and S-C. Mu, "Countdown: a case study in origami programming," Journal of Functional Programming, volume 15, number 5, pages 679-702, 2005.
31. S-C. Mu, Z. Hu and M. Takeichi, "An algebraic approach to bidirectional updating," Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, 3302, pages 2-18, November 2004.
32. R. S. Bird and S-C. Mu, "Inverting the Burrows-Wheeler transform," Journal of Functional Programming, volume 14, number 6, pages 603-612, November 2004.
33. S-C. Mu, Z. Hu and M. Takeichi, "An injective language for reversible computation," Mathematics of Program Construction 2004, Lecture Notes in Computer Science, 3125, pages 289-313, July 2004.
34. S-C. Mu, "A Calculational Approach to Program Inversion," Oxford University Computing Laboratory, March 2003.
35. S-C. Mu and R. S. Bird, "Rebuilding a tree from its traversals: a case study of program inversion," Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, 2895, pages 265-282, 2003.
36. S-C. Mu and R. S. Bird, "Theory and applications of inverting functions as folds," Science of Computer Programming, volume 51, pages 87-116, 2003.
37. S-C. Mu and R. S. Bird, "Inverting functions as folds," Mathematics of Program Construction, Lecture Notes in Computer Science, 2386, July 2002.
38. R. S. Bird, J. Gibbons and S-C. Mu, "Algebraic methods for optimisation problems," Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, pages 281-307, Springer-Verlag, January 2002.
39. S-C. Mu and R. S. Bird, "Quantum functional programming," 2nd Asian Workshop on Programming Languages and Systems, December 2001.
40. R. S. Bird and S-C. Mu, "Inverting the Burrows-Wheeler Transform," ACM SIGPLAN 2001 Haskell Workshop, September 2001, Superseded by the extended version for Journal of Functional Programming
41. S-C. Mu and R. S. Bird, "On building trees with minimum height, relationally," First Asian Workshop on Programming Languages and Systems, December 2000.
42. Tyng-Ruey Chuang and Shin-Cheng Mu, "Out-of-core functional programming with type-based primitives," Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, 1753, Enrico Pontelli and Victor Santos Costa, editor, pages 32-46, Boston, Massachusetts, USA, January 2000, Springer-Verlag
43. T-R. Chuang and S-C. Mu, "Out-of-core functional programming with type-based primitives," Practical Aspects of Declarative Languages, January 2000.
44. S. Seres and S-C. Mu, "Optimisation problems in logic programming: an algebraic approach," Proceedings of LPSE'00, 2000.
45. S-C. Mu and R. S. Bird, "Algebraic Methods for Optimisation Problems,", Transfering dissertation 2000.
 
 
bg