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
  • (Applied) Type Theory
  • Bidirectional Programming
  • Program Derivation
  • Functional Programming
    		•
     
    		 
    bg