A Leaner Specification for GADTs

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Trends in Functional Programming
Editors	P. Achten, P. Koopman, M.T. Moraz\'an
Publisher	Intellect
Pages	65-80
Number of pages	16
Publication status	Published - 2009

arie2008tfp

Access to Document

@inproceedings{8d7b1bbad24c4985882a1769f8a28f26,

title = "A Leaner Specification for GADTs",

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

note = "arie2008tfp",

year = "2009",

language = "Undefined/Unknown",

pages = "65--80",

editor = "P. Achten and P. Koopman and M.T. Moraz\textbackslash{}'an",

booktitle = "Trends in Functional Programming",

publisher = "Intellect",

}