Index of /~sheard/papers

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