| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| APPSEM98 | 2 | JavaSlides | 12 | papers | 47 |
| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| AGP00.ps.gz | GZip archive | 1 | 93KB | 2000-10-18 |
| ALP96.ps.gz | GZip archive | 1 | 57KB | 1996-08-06 |
| AMAST96.ps.gz | GZip archive | 1 | 62KB | 1996-06-10 |
| BCDI.ps.gz | GZip archive | 1 | 73KB | 2003-05-15 |
| CJE.ps.gz | GZip archive | 1 | 52KB | 2000-04-12 |
| cms_journal.ps.gz | GZip archive | 1 | 172KB | 1999-12-27 |
| cms.ps.gz | GZip archive | 1 | 100KB | 2000-11-27 |
| CMSFJ.ps.gz | GZip archive | 1 | 106KB | 2000-04-12 |
| coCLP.zip | PKZip Archive | 4 | 5KB | 2010-05-10 |
| Coo-AS.ps.gz | GZip archive | 1 | 37KB | 2004-01-21 |
| DALT03.ps.gz | GZip archive | 1 | 154KB | 2004-01-21 |
| DCMS.ps.gz | GZip archive | 1 | 174KB | 2003-09-29 |
| DISI-TR-00-12.ps.gz | GZip archive | 1 | 154KB | 2000-11-27 |
| DISI-TR-00-16.ps.gz | GZip archive | 1 | 96KB | 2001-09-09 |
| DISI-TR-96-23.ps.gz | GZip archive | 1 | 113KB | 2000-02-14 |
| DISI-TR-96-24.ps.gz | GZip archive | 1 | 127KB | 2000-11-27 |
| DISI-TR-97-10.ps.gz | GZip archive | 1 | 60KB | 2000-11-27 |
| DISI-TR-98-10.ps.gz | GZip archive | 1 | 139KB | 1998-08-03 |
| DISI-TR-98-16.ps.gz | GZip archive | 1 | 83KB | 1999-01-07 |
| DISI-TR-99-05.ps.gz | GZip archive | 1 | 168KB | 2001-09-09 |
| DISI-TR-99-09.ps.gz | GZip archive | 1 | 182KB | 2001-09-09 |
| DISI-TR-99-14.ps.gz | GZip archive | 1 | 70KB | 1999-11-23 |
| DISI-TR-99-15.ps.gz | GZip archive | 1 | 223KB | 2000-01-16 |
| DynamicLinking.ps.gz | GZip archive | 1 | 83KB | 2003-04-27 |
| ECOOP00.ps.gz | GZip archive | 1 | 101KB | 2000-03-21 |
| ECOOP01.ps.gz | GZip archive | 1 | 97KB | 2001-02-26 |
| ECOOP02.ps.gz | GZip archive | 1 | 120KB | 2002-04-11 |
| ECOOP14artifact.zip | PKZip Archive | 1 | 165KB | 2014-05-12 |
| ECOOPWS01.ps.gz | GZip archive | 1 | 70KB | 2001-05-28 |
| ECOOPWSExceptions.ps.gz | GZip archive | 1 | 60KB | 2000-05-18 |
| ECOOPWSOverloading.ps.gz | GZip archive | 1 | 45KB | 2000-05-18 |
| ENTCS02.ps.gz | GZip archive | 1 | 106KB | 2002-02-06 |
| Exceptions.ps.gz | GZip archive | 1 | 144KB | 2000-10-19 |
| FASE99.ps.gz | GZip archive | 1 | 68KB | 1999-01-07 |
| Fickle.ps.gz | GZip archive | 1 | 86KB | 2001-04-10 |
| Fickle2Java.ps.gz | GZip archive | 1 | 106KB | 2001-11-11 |
| FOOL8.ps.gz | GZip archive | 1 | 71KB | 2000-12-17 |
| FTfJP03.ps.gz | GZip archive | 1 | 132KB | 2003-08-19 |
| ICALP03.ps.gz | GZip archive | 1 | 88KB | 2003-07-27 |
| ICTCS01.ps.gz | GZip archive | 1 | 88KB | 2001-09-09 |
| ICTCS03.ps.gz | GZip archive | 1 | 197KB | 2003-08-19 |
| incrementalRebindingPrototype.zip | PKZip Archive | 1 | 48KB | 2014-11-19 |
| insegnamenti2012-13Sem2.zip | PKZip Archive | 11 | 11MB | 2013-04-28 |
| interchecking.ps.gz | GZip archive | 1 | 217KB | 2004-02-10 |
| IWIS93.ps.gz | GZip archive | 1 | 82KB | 1996-06-10 |
| jam.ps.gz | GZip archive | 1 | 114KB | 1999-11-28 |
| Jam.ps.gz | GZip archive | 1 | 240KB | 2003-03-04 |
| JavaMod.ps.gz | GZip archive | 1 | 97KB | 2001-02-01 |
| JavaSep.ps.gz | GZip archive | 1 | 89KB | 2001-09-30 |
| JFP01.ps.gz | GZip archive | 1 | 182KB | 2001-09-09 |
| LateBinding.ps.gz | GZip archive | 1 | 68KB | 2000-11-27 |
| LateBindingTR.ps.gz | GZip archive | 1 | 83KB | 2000-11-27 |
| longICALP03.ps.gz | GZip archive | 1 | 91KB | 2003-07-27 |
| MixinEffects.ps.gz | GZip archive | 1 | 89KB | 2002-10-27 |
| MonSepComp.ps.gz | GZip archive | 1 | 72KB | 2001-09-09 |
| MSCS01.ps.gz | GZip archive | 1 | 168KB | 2001-09-09 |
| MSCS98.ps.gz | GZip archive | 1 | 127KB | 1997-09-22 |
| OLD-DISI-TR-96-23.ps.gz | GZip archive | 1 | 94KB | 1997-04-02 |
| old.DISI-TR-99-15.ps.gz | GZip archive | 1 | 265KB | 1999-12-13 |
| OOPSLA01.ps.gz | GZip archive | 1 | 96KB | 2001-09-09 |
| Overloading.ps.gz | GZip archive | 1 | 77KB | 2000-10-29 |
| PCTFJ.ps.gz | GZip archive | 1 | 488KB | 2004-03-25 |
| PhDthesis.ps.gz | GZip archive | 1 | 347KB | 1998-08-04 |
| PhDthesisProposal.ps.gz | GZip archive | 1 | 129KB | 1996-06-10 |
| PLILP97.ps.gz | GZip archive | 1 | 63KB | 1997-05-26 |
| POPL04.ps.gz | GZip archive | 1 | 84KB | 2004-01-26 |
| PPDP02.ps.gz | GZip archive | 1 | 154KB | 2002-07-30 |
| PPDP99.ps.gz | GZip archive | 1 | 100KB | 1999-10-02 |
| PrincipalTypings4Java.ps.gz | GZip archive | 1 | 84KB | 2004-01-26 |
| SAC04.ps.gz | GZip archive | 1 | 131KB | 2003-11-09 |
| SAC2004editorial.ps.gz | GZip archive | 1 | 30KB | 2004-03-25 |
| SepCompFram.ps.gz | GZip archive | 1 | 118KB | 2002-01-27 |
| SimplExc.ps.gz | GZip archive | 1 | 131KB | 2002-09-22 |
| StrongerTypings.ps.gz | GZip archive | 1 | 87KB | 2003-04-22 |
| STSCJL.ps.gz | GZip archive | 1 | 181KB | 2004-01-11 |
| submitted-jam.ps.gz | GZip archive | 1 | 101KB | 2000-11-27 |
| tesi.ps.gz | GZip archive | 1 | 179KB | 1997-07-11 |
| TOPLAS03.ps.gz | GZip archive | 1 | 240KB | 2003-03-04 |
| TOSCA.ps.gz | GZip archive | 1 | 96KB | 2001-11-11 |
| TrueSepComp.ps.gz | GZip archive | 1 | 154KB | 2002-07-30 |
| TrueSepCompLong.ps.gz | GZip archive | 1 | 106KB | 2002-03-04 |
| WADT97.ps.gz | GZip archive | 1 | 79KB | 1997-10-08 |
| WADT98.ps.gz | GZip archive | 1 | 60KB | 1999-10-02 |
| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| AAMAS04.pdf | Portable Document Format | 93KB | 2004-05-06 | |
| ABCR1208.pdf | Portable Document Format | 268KB | 2009-01-06 | |
| ABM-ICTCS12.pdf | Portable Document Format | 148KB | 2012-10-24 | |
| ACLD10-FoVeOOS10.pdf | Portable Document Format | 241KB | 2010-11-02 | |
| ACLD10.pdf | Portable Document Format | 262KB | 2010-09-20 | |
| ACLD10ext.pdf | Portable Document Format | 266KB | 2010-08-29 | |
| ADM-DALT12.pdf | Portable Document Format | 213KB | 2012-10-27 | |
| AGZ-ITRS13.pdf | Portable Document Format | 141KB | 2012-10-27 | |
| AL-TCS12.pdf | Portable Document Format | 293KB | 2012-10-27 | |
| AL10-04.pdf | Portable Document Format | 212KB | 2010-04-30 | |
| AL10-09.pdf | Portable Document Format | 361KB | 2010-09-30 | |
| AL10-11.pdf | Portable Document Format | 375KB | 2010-11-16 | |
| AL10-GandALF10.pdf | Portable Document Format | 192KB | 2010-04-30 | |
| ALZ-ICTCS07.pdf | Portable Document Format | 207KB | 2007-08-12 | |
| ALZ0708.pdf | Portable Document Format | 237KB | 2008-10-29 | |
| ALZ0908.pdf | Portable Document Format | 254KB | 2008-10-29 | |
| AM1208.pdf | Portable Document Format | 300KB | 2009-01-06 | |
| AMP-SAC12.pdf | Portable Document Format | 246KB | 2011-12-04 | |
| AMP10.pdf | Portable Document Format | 310KB | 2010-05-20 | |
| AnconaBFMT14.pdf | Portable Document Format | 837KB | 2015-02-11 | |
| AnconaDovier14.pdf | Portable Document Format | 262KB | 2014-03-26 | |
| AnconaECOOP12.pdf | Portable Document Format | 335KB | 2012-10-27 | |
| AnconaExtendedSAC12.pdf | Portable Document Format | 273KB | 2012-07-09 | |
| AnconaSAC12.pdf | Portable Document Format | 218KB | 2011-12-04 | |
| AnconaZucca12.pdf | Portable Document Format | 296KB | 2012-07-13 | |
| AZ-CoLP12.pdf | Portable Document Format | 235KB | 2012-10-27 | |
| AZ-FTfJP12.pdf | Portable Document Format | 239KB | 2012-10-27 | |
| AZ-FTfJP13.pdf | Portable Document Format | 257KB | 2013-06-04 | |
| AZ-ICTCS07.pdf | Portable Document Format | 182KB | 2007-10-01 | |
| BonsangueEtAl14.pdf | Portable Document Format | 320KB | 2014-06-30 | |
| CLMO.pdf | Portable Document Format | 262KB | 2004-04-22 | |
| COMLAN13.pdf | Portable Document Format | 370KB | 2013-06-02 | |
| CompleteCoinductiveSubtyping.pdf | Portable Document Format | 502KB | 2014-05-12 | |
| DLS08.pdf | Portable Document Format | 262KB | 2007-08-12 | |
| ECOOP09.pdf | Portable Document Format | 286KB | 2009-04-20 | |
| ecoop12long.pdf | Portable Document Format | 382KB | 2012-02-13 | |
| ENTCS08.pdf | Portable Document Format | 297KB | 2008-07-31 | |
| FCJL.pdf | Portable Document Format | 287KB | 2005-12-16 | |
| FCNM.pdf | Portable Document Format | 295KB | 2004-03-21 | |
| FFCC.pdf | Portable Document Format | 190KB | 2007-04-23 | |
| FFCClong.pdf | Portable Document Format | 282KB | 2007-04-23 | |
| FMCO04.pdf | Portable Document Format | 328KB | 2005-07-03 | |
| FOVEOOS10-preproc.pdf | Portable Document Format | 257KB | 2010-09-20 | |
| foveoos11.pdf | Portable Document Format | 253KB | 2011-09-27 | |
| foveoos11long.pdf | Portable Document Format | 306KB | 2012-01-23 | |
| FrassettoThesis.pdf | Portable Document Format | 668KB | 2014-11-27 | |
| FTFCJL.pdf | Portable Document Format | 308KB | 2008-05-11 | |
| FTfJP00a.pdf | Portable Document Format | 197KB | 2006-03-03 | |
| FTfJP00b.pdf | Portable Document Format | 127KB | 2006-03-03 | |
| FTfJP04.pdf | Portable Document Format | 210KB | 2004-05-18 | |
| FTfJP10.pdf | Portable Document Format | 237KB | 2010-05-20 | |
| FTfJP11.pdf | Portable Document Format | 258KB | 2011-06-03 | |
| FTLCJL.pdf | Portable Document Format | 260KB | 2006-03-28 | |
| FTLCJLlong.pdf | Portable Document Format | 315KB | 2006-03-28 | |
| GandALF10.pdf | Portable Document Format | 216KB | 2010-05-24 | |
| ICOOOLPS09.pdf | Portable Document Format | 230KB | 2009-08-23 | |
| ictcs12extVer.pdf | Portable Document Format | 362KB | 2013-02-28 | |
| JMLC06.pdf | Portable Document Format | 191KB | 2006-08-18 | |
| llncs.cls | LaTeX Document | 35KB | 2002-02-18 | |
| LMMDR.pdf | Portable Document Format | 251KB | 2005-01-24 | |
| MABBR@WIAS14.pdf | Portable Document Format | 473KB | 2014-03-25 | |
| MMDR.pdf | Portable Document Format | 251KB | 2005-07-03 | |
| MMDRlong.pdf | Portable Document Format | 250KB | 2005-07-03 | |
| OTGPMJL.pdf | Portable Document Format | 216KB | 2006-04-13 | |
| PBCCJL.pdf | Portable Document Format | 277KB | 2005-02-21 | |
| PCMOC.pdf | Portable Document Format | 304KB | 2007-08-12 | |
| PCTFJ.pdf | Portable Document Format | 983KB | 2006-03-28 | |
| POPL04.pdf | Portable Document Format | 136KB | 2004-01-28 | |
| POPL05.pdf | Portable Document Format | 198KB | 2005-01-24 | |
| prolog_lab1.pdf | Portable Document Format | 54KB | 2012-06-28 | |
| RAIRO.pdf | Portable Document Format | 362KB | 2010-11-16 | |
| safeCoFJlong.pdf | Portable Document Format | 329KB | 2013-05-09 | |
| SMJL.pdf | Portable Document Format | 286KB | 2005-08-16 | |
| SMJLsubmitted.pdf | Portable Document Format | 181KB | 2005-08-16 | |
| ssi.pdf | Portable Document Format | 274KB | 2011-08-16 | |
| STSCJL.pdf | Portable Document Format | 233KB | 2004-01-11 | |
| STSRJL.pdf | Portable Document Format | 232KB | 2004-03-25 | |
| TCS04.pdf | Portable Document Format | 177KB | 2004-05-05 | |
| tcs12long.pdf | Portable Document Format | 371KB | 2012-07-19 | |
| TGC05.pdf | Portable Document Format | 251KB | 2005-07-04 | |
| TIJPCLPlong.pdf | Portable Document Format | 246KB | 2008-06-15 | |
| TIPMJL.pdf | Portable Document Format | 270KB | 2007-04-16 | |
| TIPMJLlong.pdf | Portable Document Format | 495KB | 2006-10-15 | |
| TOPLAS07.pdf | Portable Document Format | 623KB | 2007-04-16 | |
| WOOD04.pdf | Portable Document Format | 373KB | 2005-07-03 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| 00readme.txt | Text File | 105 | 4KB | 1998-10-28 |
| FundamentaInformaticaeTests.pl | Text File | 121 | 8KB | 2013-09-14 |