Login / Signup

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.

Davide AnconaAndrea Corradi
Published in: ECOOP (2014)
Keyphrases
  • object oriented languages
  • object oriented
  • case study
  • artificial intelligence
  • data analysis
  • management system
  • life cycle
  • object oriented databases