Sign in

Dynamic Typing with Dependent Types.

Xinming OuGang TanYitzhak MandelbaumDavid Walker
Published in: IFIP TCS (2004)
Keyphrases
  • highly dynamic
  • preprocessing
  • evolutionary algorithm
  • image processing
  • three dimensional
  • face recognition
  • lower bound