研究員 |
穆信成
Research Interests
Program Inversion
Program Derivation
Functional Programming
Programming Language
Type Theory and Logic