Dynamic Typing with Dependent Types.

Xinming Ou Gang Tan Yitzhak Mandelbaum David Walker

Published in: IFIP TCS (2004)

Keyphrases

highly dynamic
preprocessing
evolutionary algorithm
image processing
three dimensional
face recognition
lower bound