Login / Signup
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.
Jay Ligatti
Jeremy Blackburn
Michael Nachtigal
Published in:
ACM Trans. Program. Lang. Syst. (2017)
Keyphrases
</>
real time
database
information systems
face recognition
feature extraction