Login / Signup

Type Checking Systems Code.

J. Gregory Morrisett
Published in: ESOP (2002)
Keyphrases
  • database
  • data structure
  • response time
  • distributed systems
  • expressive power
  • type checking
  • databases
  • data mining
  • expert systems