Electronic Notes in Theoretical Computer Science, Volume 75

Volume 75, 2002

TIP'02: International Workshop in Types in Programming
July 2002
a service of Schloss Dagstuhl - Leibniz Center for Informatics