Dynamic typing with dependent types (2004)

by Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker
Venue:In IFIP International Conference on Theoretical Computer Science