Why dependent types matter

J  McKinna

doi:10.1145/1111320.1111038

Why dependent types matter

J McKinna

School of Computer Science

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	1-1
Number of pages	1
Journal	ACM SIGPLAN Notices
Volume	41
Issue number	1
DOIs	https://doi.org/10.1145/1111320.1111038
Publication status	Published - Jan 2006

Keywords

algorithms
design
languages
theory
verification

Access to Document

10.1145/1111320.1111038

Handle.net

Persistent link

Cite this

@article{db84638b091d460ca6fb5ef91a9c27d3,

title = "Why dependent types matter",

keywords = "algorithms, design, languages, theory, verification",

author = "J McKinna",

year = "2006",

month = jan,

doi = "10.1145/1111320.1111038",

language = "English",

volume = "41",

pages = "1--1",

journal = "ACM SIGPLAN Notices",

issn = "1523-2867",

publisher = "Association for Computing Machinery ",

number = "1",

}

TY - JOUR

T1 - Why dependent types matter

AU - McKinna, J

PY - 2006/1

Y1 - 2006/1

KW - algorithms

KW - design

KW - languages

KW - theory

KW - verification

UR - https://www.scopus.com/pages/publications/33745210372

U2 - 10.1145/1111320.1111038

DO - 10.1145/1111320.1111038

M3 - Editorial

SN - 1523-2867

VL - 41

SP - 1

EP - 1

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 1

ER -

Why dependent types matter

Keywords

Access to Document

Handle.net

Other files and links

Cite this