Chinese
English
Associate 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
  • Program derivation
  • (Applied) type theory
  • Functional programming
  • Bidirectional programming
    		•
     
    		 
    bg