Index of /rpollack/export

      Name                    Last modified      Size  Description
LFMTP_2017_slides.pdf 2017-09-07 21:14 178K cv.pdf 2016-01-26 16:52 78K Liber-Henk-note.pdf 2016-01-26 16:43 131K rpollack_200x300.jpg 2014-12-17 19:12 12K SatoMapSkelSlides.pdf 2014-03-30 17:17 243K popl2014-verifiedIFC..> 2013-11-10 15:28 469K Maps_SatoPollackSchw..> 2013-08-19 16:58 426K MontaguPiercePollack..> 2013-07-06 22:21 372K SatoPollackSchwichte..> 2013-04-01 21:15 48K SatoPollackSchwichte..> 2013-04-01 19:43 37K SatoLaramie2012.pdf 2012-09-11 20:28 412K SatoShonan2011.pdf 2012-08-27 01:09 412K HarvardCS252r/ 2011-12-07 19:01 - PollackSatoRicciotti..> 2011-06-02 17:07 499K breeze.thy 2011-05-16 02:28 15K Paris_11_2010.pdf 2011-03-23 16:34 406K JARS-S-11-00009-1.pdf 2011-03-14 20:30 516K PollackSatoRicciotti..> 2010-11-09 16:34 18K PollackSatoRicciotti..> 2010-11-09 14:43 51K SatoPollackWarsaw.pdf 2010-10-08 17:43 157K canonicalLF_talk.pdf 2010-09-13 16:32 348K SatoPollackLabLunch.pdf 2010-06-10 23:02 296K SatoPollack09.pdf 2010-03-29 12:31 503K SatoPollackIsabelleJ..> 2009-09-30 17:24 20K SatoPollackIsabelle.tgz 2009-09-25 15:49 20K SatoPollackSCSS09.pdf 2009-09-13 11:05 172K SatoPollackWMM09.pdf 2009-09-03 16:23 320K SatoPollackTYPES09.pdf 2009-08-10 17:39 310K SatoPollackTAASN09.pdf 2009-03-26 17:40 295K popl117-aydemir.pdf 2007-12-24 16:25 223K urbanWMM07.pdf 2007-08-23 16:16 157K localRepBinding.pdf 2007-07-24 21:35 400K constructiveEngine_t..> 2006-12-30 12:34 356K formalPTS.pdf 2006-10-28 15:49 186K RandyPollack.jpg 2006-10-23 16:05 217K DCP_2271a.JPG 2006-10-23 16:05 217K McKinnaPollack99.pdf 2006-10-20 16:06 357K bindingChallenge_sli..> 2006-02-10 09:31 396K JAR_PTS.tgz 2005-05-04 16:15 280K TLCA03extended.ps.gz 2005-02-11 10:39 100K TLCA03extended.pdf 2005-02-11 10:39 146K LongleyPollack04.pdf 2004-12-20 15:57 190K LogicalFramework.v8 2004-11-22 12:19 66K LEGO/ 2004-11-06 14:30 - LongleyPollack04.ps.gz 2004-04-27 17:30 75K LogicalFramework.v 2004-01-12 17:04 61K LfSemanticsSlides.ps 2003-04-28 16:42 78K DTP_Dagstuhl01.ps.gz 2003-03-29 17:59 36K AHMP92jar.ps.gz 2003-03-14 17:38 116K modulesNBE.ps.gz 2003-01-26 15:50 69K CombWeakNorm.ps.gz 2002-10-17 14:23 43K parser.mly 2002-02-20 17:44 3.3K recordsFAC.ps.gz 2002-02-05 15:42 214K depTypProgDagstuhl.p..> 2001-09-07 14:45 36K legoML.gz 2001-08-07 17:49 1.9M inductSchemaSlides.p..> 2001-07-10 13:06 69K universes_TCS.ps.gz 2001-02-02 16:26 97K recordsSlides.ps.gz 2000-11-08 18:56 103K McKinnaPollack99.ps.gz 1999-06-18 16:21 172K believing.ps.gz 1998-04-06 12:41 69K bindingTalk.ps.gz 1998-02-09 12:25 30K durham.ps 1997-08-28 17:40 138K believingSlides.ps.gz 1997-07-27 18:00 34K theoriesSlides.ps.gz 1997-04-23 18:24 142K extensibilitySlides...> 1996-01-29 15:25 23K alpha_closure.ps.gz 1995-11-12 15:31 59K JMPchecking.ps.gz 1995-11-12 15:24 135K extensibility.ps.gz 1995-11-12 15:10 61K churchrosser.ps.gz 1995-10-30 18:49 41K tcAlgorithm.ps.gz 1995-10-30 18:39 59K ChalmersCourseSlides..> 1995-09-01 16:16 48K ChalmersCourseSlides..> 1995-08-10 17:30 111K 2upCouresSlides.ps.gz 1995-08-10 17:29 113K formalPTS.ps.gz 1995-06-27 18:19 59K thesis.ps.gz 1995-06-15 17:00 209K BaastadTypechecking...> 1995-01-20 15:32 59K RodDay.dvi.gz 1995-01-13 16:30 4.7K