Shin-Cheng Mu

homepage: http://www.iis.sinica.edu.tw/~scm/

1. 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.
2. Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Algebra of programming using dependent types. In Mathematics of Program Construction. 2008.
3. Tyng-Ruey Chuang and Shin-Cheng Mu. 2008 Summer School on Logic, Language, and Computation. Advanced Programming Languages and Type Systems. 2008.
4. 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.