Login / Signup

On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.

Jay LigattiJeremy BlackburnMichael Nachtigal
Published in: ACM Trans. Program. Lang. Syst. (2017)
Keyphrases
  • real time
  • database
  • information systems
  • face recognition
  • feature extraction