Towards a Categorical Foundation for Generic Programming

Ralf Hinze, Nicolas Wu

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

2 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the Seventh ACM SIGPLAN Workshop on Generic Programming
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	47-58
Number of pages	12
DOIs	https://doi.org/10.1145/2036918.2036926
Publication status	Published - 2011

Name	WGP '11
Publisher	ACM

Keywords

@inproceedings{0e22b2737fde4f2c96f3979242a09a7f,

title = "Towards a Categorical Foundation for Generic Programming",

keywords = "category theory, comma category, generic programming, slice category",

author = "Ralf Hinze and Nicolas Wu",

year = "2011",

doi = "10.1145/2036918.2036926",

language = "English",

series = "WGP '11",

publisher = "Association for Computing Machinery (ACM)",

pages = "47--58",

booktitle = "Proceedings of the Seventh ACM SIGPLAN Workshop on Generic Programming",

address = "United States",

}

TY - GEN

T1 - Towards a Categorical Foundation for Generic Programming

AU - Hinze, Ralf

AU - Wu, Nicolas

PY - 2011

Y1 - 2011

KW - category theory, comma category, generic programming, slice category

U2 - 10.1145/2036918.2036926

DO - 10.1145/2036918.2036926

M3 - Conference Contribution (Conference Proceeding)

T3 - WGP '11

SP - 47

EP - 58

BT - Proceedings of the Seventh ACM SIGPLAN Workshop on Generic Programming

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

ER -