中文版
English
助研究員  |  柯向上  
 
contact
education
experience
interests
descriptions
activities
grants
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