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