Login / Signup

Practical dependent type checking using twin types.

Víctor López JuanNils Anders Danielsson
Published in: TyDe@ICFP (2020)
Keyphrases
  • type checking
  • databases
  • query processor
  • database systems
  • spatio temporal
  • object oriented
  • multi dimensional