![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | BTAForMetaML.ps | 2004-01-09 14:40 | 316K | |
![]() | EmirsThesis.pdf | 2004-10-13 10:49 | 1.6M | |
![]() | ExplicitLazy.ps | 2003-05-22 01:10 | 337K | |
![]() | FCDH.pdf | 2004-09-30 13:20 | 313K | |
![]() | FossacsErasure08.pdf | 2008-11-13 10:58 | 235K | |
![]() | FpcaWarm95.ps | 1997-11-10 15:49 | 160K | |
![]() | GADT+ExtKinds.ps | 2005-04-13 10:52 | 358K | |
![]() | GenericNotes.ps | 2007-04-26 15:33 | 396K | |
![]() | HFL07Sheard.pdf | 2007-02-16 15:28 | 145K | |
![]() | JfpPearl.ps | 2004-09-30 13:13 | 520K | |
![]() | LangOfTheFuture.ps | 2010-09-27 11:59 | 775K | |
![]() | MetaProgTypObjLangReps.ps | 2004-09-30 08:19 | 142K | |
![]() | MetaProgWithTypeEqual.ps | 2004-09-23 15:43 | 303K | |
![]() | OmegaLangOfFutOnwardOct04.ppt | 2004-10-28 16:34 | 168K | |
![]() | PSUseminarOct2004.ppt | 2004-10-12 15:07 | 141K | |
![]() | PepmMulStg97.ps | 1997-11-10 15:38 | 212K | |
![]() | PepmTdpe97.ps | 1997-11-10 15:20 | 173K | |
![]() | PlayingWithTypes2.ps | 2005-09-20 15:20 | 420K | |
![]() | PoplRevisit96.ps | 1997-11-10 16:48 | 191K | |
![]() | ProgStaticInv.ps | 2004-09-17 16:11 | 346K | |
![]() | PutCurryHoward2WorkFinalVersion.ps | 2005-07-27 04:36 | 234K | |
![]() | SumSchNotes.ps | 2007-07-08 13:49 | 618K | |
![]() | TaglessInterp.ps | 2002-07-30 02:40 | 135K | |
![]() | adaptcompile.ps | 2001-07-16 14:55 | 4.7K | |
![]() | challengesInMetaProg.ps | 2001-09-18 11:32 | 348K | |
![]() | dsl99.ps | 1999-07-21 11:35 | 144K | |
![]() | dyntyping3.ps | 1997-10-21 06:43 | 398K | |
![]() | fpca93.ps | 2004-11-11 15:44 | 178K | |
![]() | generic.ps | 2001-06-12 16:27 | 565K | |
![]() | icalp98.ps | 1998-02-02 17:45 | 156K | |
![]() | manual.ps | 2000-03-02 11:54 | 293K | |
![]() | meta-haskell.ps | 2002-09-27 13:31 | 239K | |
![]() | p21-sheard.ps | 2002-07-18 17:23 | 320K | |
![]() | secondLook.ps | 2005-12-28 16:53 | 325K | |
![]() | sheardPLPV.ps | 2006-10-03 12:36 | 417K | |
![]() | silly.pdf | 2004-11-01 13:12 | 116K | |
![]() | stagedData.ps | 2002-03-21 17:50 | 169K | |
![]() | summerschool.ps | 1999-03-12 06:22 | 443K | |