Login / Signup

Efficient Type Checking for Path Polymorphism.

Juan EdiAndrés VisoEduardo Bonelli
Published in: TYPES (2015)
Keyphrases
  • type checking
  • database
  • databases