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

author: Tyng-Ruey Chuang, Chin-Lung Chang, Yi-Hong Chang, Dong-Po Deng and and Andrea Wei-Ching Huang
publication date: 2009
cite this with: Tyng-Ruey Chuang, Chin-Lung Chang, Yi-Hong Chang, Dong-Po Deng and and Andrea Wei-Ching Huang. Narrative geospatial knowledge about Taiwanese aboriginal settlements — A case study. //GIS in the Humanities and Social Sciences 2009 International Conference. Taipei, Taiwan, October, 2009. 2009.
link this with: http://tsm.iis.sinica.edu.tw/papers/
copyright:
category: Open Geospatial Information
tag:
full paper: {{Paper
 
papers:home Last modified: 2014/08/29 18:01