Decidable Subtyping for Path Dependent Types

Summary

Decidable Subtyping for Path Dependent Types is a doctoral thesis^[1].

Key Facts

• Decidable Subtyping for Path Dependent Types authored Julian Mackay^[2].
• Decidable Subtyping for Path Dependent Types's instance of is recorded as doctoral thesis^[3].
• Decidable Subtyping for Path Dependent Types's publisher is recorded as Open Access Repository Victoria University of Wellington^[4].
• Decidable Subtyping for Path Dependent Types's DOI is recorded as 10.26686/WGTN.17148098^[5].
• Decidable Subtyping for Path Dependent Types's language of work or name is recorded as English^[6].
• Decidable Subtyping for Path Dependent Types's country of origin is recorded as New Zealand^[7].
• Decidable Subtyping for Path Dependent Types's publication date is recorded as +2020-01-01T00:00:00Z^[8].
• Decidable Subtyping for Path Dependent Types's main subject is recorded as programming language^[9].
• Decidable Subtyping for Path Dependent Types's title is recorded as Decidable Subtyping for Path Dependent Types^[10].
• Decidable Subtyping for Path Dependent Types's copyright holder is recorded as Julian Mackay^[11].
• Decidable Subtyping for Path Dependent Types's thesis submitted to is recorded as Victoria University of Wellington^[12].
• Decidable Subtyping for Path Dependent Types's on focus list of Wikimedia project is recorded as NZThesisProject^[13].
• Decidable Subtyping for Path Dependent Types's copyright status is recorded as copyrighted^[14].
• Decidable Subtyping for Path Dependent Types's thesis committee member is recorded as Lindsay Groves^[15].
• Decidable Subtyping for Path Dependent Types's thesis committee member is recorded as Alex Potanin^[16].
• Decidable Subtyping for Path Dependent Types's thesis committee member is recorded as Jonathan Erik Aldrich^[17].

Body

Designation and Status

Decidable Subtyping for Path Dependent Types's instance of is recorded as doctoral thesis^[3].