A lean specification for GADTs: system F with first-class equality proofs

A. Middelkoop, A. Dijkstra, S.D. Swierstra

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	1-22
Number of pages	22
Journal	Higher-Order and Symbolic Computation
DOIs	https://doi.org/10.1007/s10990-011-9065-0
Publication status	Published - 2011

Access to Document

@article{214578873cc54f8e81a53453082b43ca,

title = "A lean specification for GADTs: system F with first-class equality proofs",

author = "A. Middelkoop and A. Dijkstra and S.D. Swierstra",

year = "2011",

doi = "10.1007/s10990-011-9065-0",

language = "Undefined/Unknown",

pages = "1--22",

journal = "Higher-Order and Symbolic Computation",

issn = "1573-0557",

publisher = "Springer",

}