Login / Signup

Relational parametricity for references and recursive types.

Lars BirkedalKristian StøvringJacob Thamsborg
Published in: TLDI (2009)
Keyphrases
  • relational data
  • data model
  • relational databases
  • real time
  • databases