Login / Signup

Type soundness for dependent object types (DOT).

Tiark RompfNada Amin
Published in: OOPSLA (2016)
Keyphrases
  • object types
  • databases
  • data types
  • object oriented
  • complex objects