Document Versions

Type-Indexed Data Types –Ralf Hinze, Johan Jeuring, Andres Löh — 2004 — SCIENCE OF COMPUTER PROGRAMMING
Type-Indexed Data Types –Ralf Hinze, Johan Jeuring, Andres Löh — 2001 — Science of Computer Programming
Type-Indexed Data Types –Ralf Hinze, Johan Jeuring, Andres Loh, Andres Löh — 2002 — Science of Computer Programming
Type-Indexed Data Types –Ralf Hinze, Johan Jeuring, Andres Löh — 2001
Type-Indexed Data Types –Ralf Hinze, Johan Jeuring, Andres Loh — 2001
Type-Indexed Data Types –Ralf Hinze , Johan Jeuring, Andres Löh — 2001 — SCIENCE OF COMPUTER PROGRAMMING