Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
    • Projects
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
Academia Sinica / Division of Mathematics and Physical Sciences / Institute of Information Science

Ko, Hsiang-Shang

Network Lab View Statistics Email Alert RSS Feed

  • Resume
  • Publications
  • Project

Profile

Chinese Name
柯向上
 
English Name
Ko, Hsiang-Shang
 
Personal Site
個人網頁 / Personal Website
 
Main Affiliation
資訊科學研究所
 
Loading... 9 0 20 0 false

Current Position

Associate Research Fellow/Professor

Education

Ph.D., Department of Computer Science, University of Oxford, United Kingdom
 

Research Field

Dependently Typed Programming
Datatype-Generic Programming
Bidirectional Programming
Algebra of Programming / Program Calculation
Functional Programming / Type Theory
 
 

Claim Researcher Page

Contact via feedback form

If you want contact administrator site clicking the follow button 
Explore by
  • Academic & Publications
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback