助研究員 |
柯向上
Research Interests
Dependently Typed Programming
Datatype-Generic Programming
Bidirectional Programming
Algebra of Programming / Program Calculation
Functional Programming / Type Theory