Chinese
English
Assistant Research Fellow/Professor  |  Ko, Hsiang-Shang  
 
contact
education
experience
interests
descriptions
activities
publications
supervised
Personal (New window)
 
 
 
 
 
Research Interests
 
  • Dependently Typed Programming
  • Datatype-Generic Programming
  • Bidirectional Programming
  • Algebra of Programming / Program Calculation
  • Functional Programming / Type Theory
    		•
     
    		 
    bg