Login / Signup

Type Checking by Domain Analysis in Ampersand.

Stef M. M. JoostenSebastiaan J. C. Joosten
Published in: RAMiCS (2015)
Keyphrases
  • type checking
  • databases
  • knowledge base
  • spatio temporal
  • distributed databases