Implementing a modal dependent type theory

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Documents

  • 3341711

    Final published version, 516 KB, PDF document

DOI

Original languageEnglish
Article number107
JournalProceedings of the ACM on Programming Languages
Volume3
IssueICFP
Pages (from-to)1-29
Number of pages29
DOIs
Publication statusPublished - 2019

See relations at Aarhus University Citationformats

ID: 176488605