Type-Indexed Data Types.

Ralf Hinze, Johan Jeuring, Andres Lh

Browse the full MPC paper archive.