Type-indexed data types

Hinze, Ralf, Jeuring, Johan and Löh, Andres

journal	Science of Computer Programming
pages	117-151
volume	51
year	2004

people	Ralf Hinze
activities	Algebra of Programming