Why dependent types matter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)
Original languageEnglish
Title of host publicationPOPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PublisherAssociation for Computing Machinery
Pages1
ISBN (Print)1595930272
DOIs
Publication statusPublished - Jan 2006
Event33rd ACM SIGPLAN-SIGACT symposium 2006 - Charleston, South Carolina, USA
Duration: 11 Jan 200613 Jan 2006

Conference

Conference33rd ACM SIGPLAN-SIGACT symposium 2006
Period11/01/0613/01/06

Cite this

McKinna, J. (2006). Why dependent types matter. In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 1). Association for Computing Machinery. https://doi.org/10.1145/1111037.1111038