Dynamic typing with dependent types
- Xinming Ou
- , Gang Tan
- , Yitzhak Mandelbaum
- , David Walker
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
77
Link opens in a new tab
Scopus
citations