副研究員 |
柯向上
Research Interests
Dependently typed programming
Datatype-generic programming
(Applied) type theory
Bidirectional programming
Program derivation
Functional programming