Why dependent types matter

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Publisher	Association for Computing Machinery
Pages	1
ISBN (Print)	1595930272
DOIs	https://doi.org/10.1145/1111037.1111038
Publication status	Published - Jan 2006
Event	33rd ACM SIGPLAN-SIGACT symposium 2006 - Charleston, South Carolina, USA Duration: 11 Jan 2006 → 13 Jan 2006

Conference	33rd ACM SIGPLAN-SIGACT symposium 2006
Period	11/01/06 → 13/01/06

Access to Document

@inproceedings{0ef0c10001574c09be88128817868389,

title = "Why dependent types matter",

author = "James McKinna",

year = "2006",

month = jan,

doi = "10.1145/1111037.1111038",

language = "English",

isbn = "1595930272",

pages = "1",

booktitle = "POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages",

publisher = "Association for Computing Machinery",

address = "United States",

note = "33rd ACM SIGPLAN-SIGACT symposium 2006 ; Conference date: 11-01-2006 Through 13-01-2006",

}

TY - GEN

T1 - Why dependent types matter

AU - McKinna, James

PY - 2006/1

Y1 - 2006/1

U2 - 10.1145/1111037.1111038

DO - 10.1145/1111037.1111038

M3 - Conference contribution

SN - 1595930272

SP - 1

BT - POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PB - Association for Computing Machinery

T2 - 33rd ACM SIGPLAN-SIGACT symposium 2006

Y2 - 11 January 2006 through 13 January 2006

ER -