Gilles Barthe, Peter Thiemann 0001, editors, International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002. Volume 75 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003. [doi]
Conference: mpc2003
Abstract is missing.