Index of /~sheard/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]BTAForMetaML.ps2004-01-09 14:40 316K 
[   ]EmirsThesis.pdf2004-10-13 10:49 1.6M 
[   ]ExplicitLazy.ps2003-05-22 01:10 337K 
[   ]FCDH.pdf2004-09-30 13:20 313K 
[   ]FossacsErasure08.pdf2008-11-13 10:58 235K 
[   ]FpcaWarm95.ps1997-11-10 15:49 160K 
[   ]GADT+ExtKinds.ps2005-04-13 10:52 358K 
[   ]GenericNotes.ps2007-04-26 15:33 396K 
[   ]HFL07Sheard.pdf2007-02-16 15:28 145K 
[   ]JfpPearl.ps2004-09-30 13:13 520K 
[   ]LangOfTheFuture.ps2010-09-27 11:59 775K 
[   ]MetaProgTypObjLangReps.ps2004-09-30 08:19 142K 
[   ]MetaProgWithTypeEqual.ps2004-09-23 15:43 303K 
[   ]OmegaLangOfFutOnwardOct04.ppt2004-10-28 16:34 168K 
[   ]PSUseminarOct2004.ppt2004-10-12 15:07 141K 
[   ]PepmMulStg97.ps1997-11-10 15:38 212K 
[   ]PepmTdpe97.ps1997-11-10 15:20 173K 
[   ]PlayingWithTypes2.ps2005-09-20 15:20 420K 
[   ]PoplRevisit96.ps1997-11-10 16:48 191K 
[   ]ProgStaticInv.ps2004-09-17 16:11 346K 
[   ]PutCurryHoward2WorkFinalVersion.ps2005-07-27 04:36 234K 
[   ]SumSchNotes.ps2007-07-08 13:49 618K 
[   ]TaglessInterp.ps2002-07-30 02:40 135K 
[   ]adaptcompile.ps2001-07-16 14:55 4.7K 
[   ]challengesInMetaProg.ps2001-09-18 11:32 348K 
[   ]dsl99.ps1999-07-21 11:35 144K 
[   ]dyntyping3.ps1997-10-21 06:43 398K 
[   ]fpca93.ps2004-11-11 15:44 178K 
[   ]generic.ps2001-06-12 16:27 565K 
[   ]icalp98.ps1998-02-02 17:45 156K 
[   ]manual.ps2000-03-02 11:54 293K 
[   ]meta-haskell.ps2002-09-27 13:31 239K 
[   ]p21-sheard.ps2002-07-18 17:23 320K 
[   ]secondLook.ps2005-12-28 16:53 325K 
[   ]sheardPLPV.ps2006-10-03 12:36 417K 
[   ]silly.pdf2004-11-01 13:12 116K 
[   ]stagedData.ps2002-03-21 17:50 169K 
[   ]summerschool.ps1999-03-12 06:22 443K