Login / Signup
Michael Nachtigal
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Face Recognition
Information Systems
Feature Extraction
Top Venues
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Jay Ligatti
,
Jeremy Blackburn
,
Michael Nachtigal
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.
ACM Trans. Program. Lang. Syst.
39 (1) (2017)