Hsiang-Shang Ko

  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.

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