Login / Signup
Efficient Type Checking for Path Polymorphism.
Juan Edi
Andrés Viso
Eduardo Bonelli
Published in:
TYPES (2015)
Keyphrases
</>
type checking
database
databases