中文版
English
助研究員  |  柯向上  
 
contact
education
experience
interests
descriptions
activities
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Research Interests
 
  • Dependently Typed Programming
  • Datatype-Generic Programming
  • (Applied) Type Theory
  • Bidirectional Programming
  • Program Derivation
  • Functional Programming
    		•
     
    		 
    bg