Shin-Cheng Mu

Publications

  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.
 
people:shin-cheng_mu Last modified: 2007/10/24 16:57