Generic Programming with Adjunctions
Ralf Hinze
Affiliation
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England
Book Title
Spring School on Generic and Indexed Programming
Editor
Gibbons‚ Jeremy
ISBN
978−3−642−32201−3
Location
Oxford‚ UK
Pages
47−129
Publisher
Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science
Volume
7470
Year
2012