Type-indexed data types (2002)

by Ralf Hinze, Johan Jeuring, Andres Löh
Venue:In Proceedings of the 6th Mathematics of Program Construction Conference, MPC’02, volume 2386 of LNCS