Type-indexed data types (2004)

by Ralf Hinze, Johan Jeuring, Andres Löh
Venue:In SCIENCE OF COMPUTER PROGRAMMING