Sign in

Really Natural Linear Indexed Type Checking.

Arthur Azevedo de AmorimMarco GaboardiEmilio Jesús Gallego AriasJustin Hsu
Published in: IFL (2014)
Keyphrases
  • type checking
  • data types
  • database query languages
  • expressive power
  • query processor
  • spatio temporal
  • abstract data types