Type-indexed data types (2004)

by R HINZE, J JEURING, A LÖH
Venue:Science of Computer Programming