Login / Signup

A Record Calculus with Principal Types.

Andreas V. HenseGert Smolka
Published in: CCL (1994)
Keyphrases
  • computer vision
  • case study
  • database
  • metadata
  • data records
  • algebraic structure