Sign in

Existential Types for Imperative Languages.

Dan Grossman
Published in: ESOP (2002)
Keyphrases
  • expressive power
  • databases
  • real time
  • clustering algorithm
  • question answering
  • query answering