01260nam--2200373---450 99000094855020331620180312154617.03-540-42196-60094855USA010094855(ALEPH)000094855USA01009485520020206d2001----km-y0ITAy0103-------baENGDETypes in compilationthirth International workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised selected papersRobert Harper (ed.)BerlinSpringercopyr. 2001206 p.ill.20 cmLecture notes in computer science20712001Lecture notes in computer science2071Linguaggi di programmazioneCongressi2000005.13Harper,RobertInternational workshop, TIC 2000 <3. ; 2001 ; Montreal, Canada >552445ITACBSISBD990000948550203316001 LNCS (2071)0026606 CBS00100110788BKSCIALANDI9020020206USA01120120020403USA011737PATRY9020040406USA011705Types in compilation973986UNISA