Index of /~sheard/papers

• Parent Directory
• BTAForMetaML.ps
• EmirsThesis.pdf
• ExplicitLazy.ps
• FCDH.pdf
• FossacsErasure08.pdf
• FpcaWarm95.ps
• GADT+ExtKinds.ps
• GenericNotes.ps
• HFL07Sheard.pdf
• JfpPearl.ps
• LangOfTheFuture.ps
• MetaProgTypObjLangReps.ps
• MetaProgWithTypeEqual.ps
• OmegaLangOfFutOnwardOct04.ppt
• PSUseminarOct2004.ppt
• PepmMulStg97.ps
• PepmTdpe97.ps
• PlayingWithTypes2.ps
• PoplRevisit96.ps
• ProgStaticInv.ps
• PutCurryHoward2WorkFinalVersion.ps
• SumSchNotes.ps
• TaglessInterp.ps
• adaptcompile.ps
• challengesInMetaProg.ps
• dsl99.ps
• dyntyping3.ps
• fpca93.ps
• generic.ps
• icalp98.ps
• manual.ps
• meta-haskell.ps
• p21-sheard.ps
• secondLook.ps
• sheardPLPV.ps
• silly.pdf
• stagedData.ps
• summerschool.ps