Ralf Hinze Johan Jeuring Andres Löh Type-Indexed Data Types. 148-174 2002 conf/mpc/2002 MPC http://link.springer.de/link/service/series/0558/bibs/2386/23860148.htm db/conf/mpc/mpc2002.html#HinzeJL02