Andrea Wei-Ching Huang Benjamin Goldberg Biam Chee Low Chen-Min Wang Cheng-Wei Chen Chia-Hsin Huang Chien-Min Wang Chin-Lung Chang Ching-Yi Liu Ching-Yuan Huang Chuan-Chieh Jung Chyi-in Wu Creative Commons Taiwan (Editor) Da-Wei Wang Daoming Chen Der-Tsai Lee Ding-Yi Chen Dong-Po Deng Feng-Tyan Lin Hahn-Ming Lee Hao-Chuan Wang Hsiang-Shang Ko James J. Lu Jan-Jan Wu Jan-Li Lin Jan-Ming Ho Jenq Kuen Lee Jia-Shin Li Kwei-Jay Lin Max Schäfer Miller Chiang Min-Bin Chen Patrik Jansson Po-An Chen Rong-Guey Chang Shih-Chun Tsai Shih-Kun Huang Shin-Cheng Mu Shun-Ling Chen Sophia Liang Steve Ho Tien-Hsiu Lee Tung-Mei Ko Tyng-Ruey Chuang Wen L. Hwang Wen-Min Kuan Wen-Yin Chou Y. S. Kuo Yi-Hong Chang Yi-Hsuan Lin and Andrea Wei-Ching Huang
Shin-Cheng Mu
- Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Algebra of programming in Agda: dependent types for relational program derivation. To appear in Journal of Functional Programming. 2009.
- Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Algebra of programming using dependent types. In Mathematics of Program Construction. 2008.
- Tyng-Ruey Chuang and Shin-Cheng Mu. 2008 Summer School on Logic, Language, and Computation. Advanced Programming Languages and Type Systems. 2008.
- Tyng-Ruey Chuang and Shin-Cheng Mu. Out-of-core functional programming with type-based primitives. In Enrico Pontelli and Victor Santos Costa, editors, 2nd International Workshop on Practical Aspects of Declarative Languages (PADL), pages 32-46. Boston, Massachusetts, USA. January 2000.