Index of /~sheard/papers

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]BTAForMetaML.ps09-Jan-2004 14:40 316K 
[   ]EmirsThesis.pdf13-Oct-2004 10:49 1.6M 
[   ]ExplicitLazy.ps22-May-2003 01:10 337K 
[   ]FCDH.pdf30-Sep-2004 13:20 313K 
[   ]FossacsErasure08.pdf13-Nov-2008 10:58 235K 
[   ]FpcaWarm95.ps10-Nov-1997 15:49 160K 
[   ]GADT+ExtKinds.ps13-Apr-2005 10:52 358K 
[   ]GenericNotes.ps26-Apr-2007 15:33 396K 
[   ]HFL07Sheard.pdf16-Feb-2007 15:28 145K 
[   ]JfpPearl.ps30-Sep-2004 13:13 520K 
[   ]LangOfTheFuture.ps27-Sep-2010 11:59 775K 
[   ]MetaProgTypObjLangReps.ps30-Sep-2004 08:19 142K 
[   ]MetaProgWithTypeEqual.ps23-Sep-2004 15:43 303K 
[   ]OmegaLangOfFutOnwardOct04.ppt28-Oct-2004 16:34 168K 
[   ]PSUseminarOct2004.ppt12-Oct-2004 15:07 141K 
[   ]PepmMulStg97.ps10-Nov-1997 15:38 212K 
[   ]PepmTdpe97.ps10-Nov-1997 15:20 173K 
[   ]PlayingWithTypes2.ps20-Sep-2005 15:20 420K 
[   ]PoplRevisit96.ps10-Nov-1997 16:48 191K 
[   ]ProgStaticInv.ps17-Sep-2004 16:11 346K 
[   ]PutCurryHoward2WorkFinalVersion.ps27-Jul-2005 04:36 234K 
[   ]SumSchNotes.ps08-Jul-2007 13:49 618K 
[   ]TaglessInterp.ps30-Jul-2002 02:40 135K 
[   ]adaptcompile.ps16-Jul-2001 14:55 4.7K 
[   ]challengesInMetaProg.ps18-Sep-2001 11:32 348K 
[   ]dsl99.ps21-Jul-1999 11:35 144K 
[   ]dyntyping3.ps21-Oct-1997 06:43 398K 
[   ]fpca93.ps11-Nov-2004 15:44 178K 
[   ]generic.ps12-Jun-2001 16:27 565K 
[   ]icalp98.ps02-Feb-1998 17:45 156K 
[   ]manual.ps02-Mar-2000 11:54 293K 
[   ]meta-haskell.ps27-Sep-2002 13:31 239K 
[   ]p21-sheard.ps18-Jul-2002 17:23 320K 
[   ]secondLook.ps28-Dec-2005 16:53 325K 
[   ]sheardPLPV.ps03-Oct-2006 12:36 417K 
[   ]silly.pdf01-Nov-2004 13:12 116K 
[   ]stagedData.ps21-Mar-2002 17:50 169K 
[   ]summerschool.ps12-Mar-1999 06:22 443K