Type-indexed data types

R. Hinze, J.T. Jeuring, A. Löh

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

Original language	Undefined/Unknown
Pages (from-to)	117-151
Number of pages	35
Journal	Science of Computer Programming
Volume	51
Issue number	1-2
Publication status	Published - 2004

Keywords

@article{c22bc91137dc4edb8f9459ec02ebded0,

title = "Type-indexed data types",

keywords = "Wiskunde en Informatica (WIIN)",

author = "R. Hinze and J.T. Jeuring and A. L{\"o}h",

year = "2004",

language = "Undefined/Unknown",

volume = "51",

pages = "117--151",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier BV",

number = "1-2",

}