Contact Information. joshko picture. Ko, Hsiang-Shang Assistant Research Fellow/Professor No 128, Academia Road, Section 2. Nankang, Taipei 11529, Taiwan
Hsiang-Shang Ko. Institute of Information Science, Academia Sinica, Taiwan. Verified email at iis.sinica.edu.tw - Homepage · Dependently typed ...
I am an assistant research fellow (assistant professor) at the Institute of Information Science, Academia Sinica, Taiwan. I am interested in the discovery ...
Hsiang-shang Ko
Affiliation: Academia Sinica
Research interests: Dependently typed programming, Datatype-generic programming, and (Applied) type theory
Research Descriptions. I am interested in the discovery of mathematical and logical structures of computation so that they can be manifested in programming ...
List of computer science publications by Hsiang-Shang Ko.
Employment (3) · Institute of Information Science, Academia Sinica: Taipei, TW · National Institute of Informatics: Tokyo, JP · National Institute of Informatics: ...
Selected Publications · Binomial Tabulation: A Short Story. Hsiang−Shang Ko‚ Shin−Cheng Mu and Jeremy Gibbons. February, 2024. · Programming with Ornaments.
Research interests:dependently typed programming, datatype-generic programming, bidirectional programming, algebra of programming, functional programming.
An axiomatic basis for bidirectional programming · Author Picture Hsiang-Shang Ko. National Institute of Informatics, Japan. , · Author Picture Zhenjiang Hu.
Hsiang-Shang Ko · Registration Information · Student Grant Application · Diversity Grant Application · Grants for Black Computer Science Students Application.