Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Hsiang-Shang Ko

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/MuKJ09
- ask others
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson: Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19(5): 545-579 (2009)
2008
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/MuKJ08
- ask others
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson: Algebra of Programming Using Dependent Types. MPC 2008: 268-283

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?