Electronic Notes in Theoretical Computer Science, Volume 75

Volume 75, 2002

TIP'02: International Workshop in Types in Programming
July 2002
maintained by Schloss Dagstuhl LZI at University of Trier