Type-Indexed Data Types (2004)

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