Functional Programming

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 Jan-Li Lin. An Algebra of Dependent Data Types. Technical Report TR-IIS-06-012, Institute of Information Science, Academia Sinica. September 2006.
4. Tyng-Ruey Chuang. Type-based primitives for distributed data structures: A functional approach. In 2nd Workshop on Compile/Runtime Techniques for Parallel Computing, pages 131-142. October 2003.
5. Tyng-Ruey Chuang. Generic validation of structural content with parametric modules. In 2001 International Conference on Functional Programming (ICFP), pages 98-101. Florence, Italy. September 2001.
6. 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.
7. Tyng-Ruey Chuang and Benjamin Goldberg. A syntactic method for finding least fixed points of higher-order functions over finite domains. In Journal of Functional Programming, Volume 7, Part 4, pages 357-394. July 1997.
8. Tyng-Ruey Chuang. A functional perspective of array primitives. In Tetsuo Ida, Atsushi Ohori, and Masato Takeichi, editors, Second Fuji International Workshop on Functional and Logic Programming, pages 71-90. Kanagawa, Japan. November 1996.
9. Tyng-Ruey Chuang and Wen L. Hwang. A probabilistic approach to the problem of automatic selection of data representations. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 190-200. Philadelphia, Pennsylvania, USA. May 1996.
10. Tyng-Ruey Chuang. A randomized implementation of multiple functional arrays. In Proceedings of the 1994 ACM Conference on Lisp and Functional Programming (L&FP), pages 173-184. Orlando, Florida, USA, June 1994. The proceedings also appears as Lisp Pointers, Volume VII, Number 3, July-. September 1994.
11. Tyng-Ruey Chuang and Benjamin Goldberg. Real-time deques, multihead Turing machines, and purely functional programming. In Conference on Functional Programming Languages and Computer Architecture (FPCA), pages 289-298. Copenhagen, Denmark. June 1993.
12. Tyng-Ruey Chuang and Benjamin Goldberg. Backward Analysis for Higher-Order Functions Using Inverse Images. Technical Report TR1992-620, Department of Computer Science, New York University. November 1992.
13. Tyng-Ruey Chuang and Benjamin Goldberg. A syntactic approach to fixed point computation on finite domains. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming (L&FP), pages 109-118. San Francisco, California, USA. June 1992.

Social Tagging Online Communication and Peircean Semiotics